User:Pruvisto
Appearance
I am a postdoc working in the formalisation of mathematics with proof assistants.
My Favorite Languages | |
Language | Proficiency |
Isabelle | Professional |
Haskell | Advanced |
Standard ML | Advanced |
Java | Advanced |
C | Intermediate |
C++ | Intermediate |
Python | Intermediate |