user_3189420
user_3189420
@user_3189420
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. How do I simplify a hypothesis of the form True -> P in Coq?
    3 votes
    1 answers