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-10-14 00:42:30
Total coding time: 1,993 hrs 20 mins
Most used languages:
| Language | Time | Percentage |
|---|---|---|
| Lean | 713 hrs 31 mins | 35.8% |
| Lean4 | 295 hrs 40 mins | 14.83% |
| TeX | 291 hrs 56 mins | 14.65% |
| Isabelle | 220 hrs 24 mins | 11.06% |
| sh | 139 hrs 53 mins | 7.02% |
| Other | 92 hrs 58 mins | 4.66% |
| Python | 80 hrs 44 mins | 4.05% |
| C++ | 43 hrs 51 mins | 2.2% |
| Markdown | 24 hrs 53 mins | 1.25% |