Giters

Ekdohibs / coq-proofs

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq

This repository is not active

About

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

coq

License:MIT License

Languages

Language:Coq 99.7%Language:Shell 0.3%