Geek Repo
Github PK Tool:Github PK Tool
A formalization of geometry in Coq based on Tarski's axiom system
Archive for all Coq related OPAM packages organized in various repositories