user_19574016
user_19574016
@user_19574016
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Coq: Simpl in match pattern when having an inequality hypothesis
    1 votes
    1 answers
  2. Coq: Implementation of splitstring and proof that nothing gets deleted
    1 votes
    2 answers