About Me
// Hello, World !
Top Answers
-
Translating proof from Nat to Rat
3 votes
-
string comparison in ssreflect
2 votes