/equivalence-classes

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

Primary LanguageCoqMIT LicenseMIT

Watchers