About Me
// Hello, World !
Top Answers
Top Questions
-
Modus Ponens and Modus Tollens in Coq
4 votes1 answers
-
About building a list until it meets conditions
4 votes5 answers
-
Disjunctive Syllogism tactic in Coq?
4 votes2 answers
-
"Generating Numbers" Puzzle
2 votes1 answers