Questions tagged [equivalence-relation]
An equivalence relation on a set S is a binary relation ≡ on S that is: reflexive, symmetric, and transitive. (from nLab)
Equivalence Relations COQ
I am also unfamiliar and trying to solve proofs relative to the topic Relations and Divisibility but I would like to solve such COQ proof theorems. I am not quite sure how to solve proofs like this ...
WLOG reasoning and Proof Assistants
The possibility of using proof assistants in combinatorics has been mentioned here and in more detail here. I'm interested in automating that part of some discrete problems which reduces the search ...