Proof of the Frendship Theorem in Coq
Primary LanguageCoqMIT LicenseMIT
This repository is not active