user_157235
user_157235
@user_157235
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Don't understand `destruct` tactic on hypothesis `~ (exists x : X, ~ P x)` in Coq
    3 votes
    2 answers