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: 2025-07-11 00:50:04
Total coding time: 1,689 hrs 33 mins
Most used languages:
Language | Time | Percentage |
---|---|---|
Lean | 713 hrs 31 mins | 42.23% |
TeX | 245 hrs 54 mins | 14.55% |
Isabelle | 220 hrs 24 mins | 13.05% |
sh | 139 hrs 41 mins | 8.27% |
Other | 88 hrs 51 mins | 5.26% |
Python | 74 hrs 42 mins | 4.42% |
Lean4 | 62 hrs 20 mins | 3.69% |
C++ | 43 hrs 51 mins | 2.6% |
Markdown | 22 hrs 48 mins | 1.35% |