user_8303327
user_8303327
@user_8303327
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Simplifying Subformulas in Coq
    5 votes
    1 answers
  2. Hint Rewrite Cannot Infer Parameter
    3 votes
    1 answers