GeoCoq

Pinned Repositories

GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Language:Coq175 19 1326
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 3 00

GeoCoq's Repositories

GeoCoq/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Language:Coq175 19 1326
GeoCoq/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 3 00