/coq-proofs

Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.