user_9910692
user_9910692
@user_9910692
0 reputation
0 answers
6 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. polymorphic equality in coq
    3 votes
    1 answers
  2. string comparison in ssreflect
    3 votes
    1 answers
  3. git revert is not reverting anything
    2 votes
    1 answers
  4. how to include a module in a .mli file?
    2 votes
    1 answers
  5. coq 8.11.0 incompatible with ocaml 4.10?
    2 votes
    1 answers