As of May 31, 2023, we have updated our Code of Conduct.

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)

Filter by
Sorted by
Tagged with
1 vote
1 answer

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 ...
deleted_user0972's user avatar
17 votes
1 answer

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 ...
hardmath's user avatar
  • 539