Check out my website
- 💻 CS engineer & INRIA PhD student at Loria, Nancy, France
- 🎓 Graduate of Mines Nancy in France
- 🎓 Specialized in formal methods which I studied at TU Munich
Last updated: 2024-06-16 00:35:44
Total coding time: 767 hrs 1 min
Most used languages:
Language | Time | Percentage |
---|---|---|
Isabelle | 220 hrs 24 mins | 28.73% |
TeX | 132 hrs 3 mins | 17.22% |
sh | 131 hrs 53 mins | 17.19% |
Lean | 65 hrs 20 mins | 8.52% |
Other | 58 hrs 18 mins | 7.6% |
C++ | 43 hrs 51 mins | 5.72% |
Python | 43 hrs 4 mins | 5.62% |
Markdown | 18 hrs 36 mins | 2.43% |
JavaScript | 10 hrs 32 mins | 1.37% |