GitHub repository: Ekdohibs/coq-proofs
Primary language: Coq
Description: Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.