Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
oneofvalts/equivalence-classes
Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
CoqMIT