About Me
// Hello, World !
Top Answers
-
Certified calculations in a proof assistant
5 votes
-
proof of adding 1 to some number changes the parity in Coq
4 votes
-
How to do induction on BinNums.Z in Coq/
3 votes
-
How can I proove forall a b, a <=? b = true -> a <=? S b = true in Coq
3 votes
-
coq auto says simple apply fails but it works manually
2 votes