A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
73,362 visible repositories in the index
1–2 of 2 · Most stars
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
73,362 visible repositories in the index
1–2 of 2 · Most stars
A formalization of geometry in Coq based on Tarski's axiom system
High level commands to declare a hierarchy based on packed classes