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-07-01 00:37:58
Total coding time: 795 hrs 48 mins
Most used languages:
Language | Time | Percentage |
---|---|---|
Isabelle | 220 hrs 24 mins | 27.7% |
TeX | 132 hrs 19 mins | 16.63% |
sh | 131 hrs 53 mins | 16.57% |
Lean | 87 hrs 32 mins | 11.0% |
Other | 63 hrs 10 mins | 7.94% |
Python | 44 hrs 31 mins | 5.59% |
C++ | 43 hrs 51 mins | 5.51% |
Markdown | 18 hrs 36 mins | 2.34% |
JavaScript | 10 hrs 32 mins | 1.32% |