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-10-11 00:38:38
Total coding time: 978 hrs 23 mins
Most used languages:
Language | Time | Percentage |
---|---|---|
Lean | 222 hrs 55 mins | 22.78% |
Isabelle | 220 hrs 24 mins | 22.53% |
TeX | 155 hrs 15 mins | 15.87% |
sh | 135 hrs 3 mins | 13.8% |
Other | 72 hrs 19 mins | 7.39% |
Python | 50 hrs 1 min | 5.11% |
C++ | 43 hrs 51 mins | 4.48% |
Markdown | 18 hrs 42 mins | 1.91% |
JavaScript | 13 hrs 20 mins | 1.36% |