Jump to content

User:Pruvisto

From Rosetta Code

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
Cookies help us deliver our services. By using our services, you agree to our use of cookies.