Questions tagged [alternative-proof]
This question asks for alternative ways to prove a theorem that was proved in the question. This tag is similar in spirit to the tag with the same name on the Math Stack Exchange.
1
question
5
votes
4
answers
2k
views
Less ridiculous way to prove that an Ascii character compares equal with itself in Coq
How do you prove that an Ascii character compares equal with itself in Coq idiomatically?
In the course of trying to prove a random exercise in Logical Foundations, I wanted to prove the following ...
- 3,053