Reviews
A formalization of geometry in Coq based on Tarski's axiom system
Search similar apps
License
GNU Lesser General Public License v3.0
A formalization of geometry in Coq based on Tarski's axiom system
Creator
A formalization of geometry in Coq based on Tarski's axiom system
GNU Lesser General Public License v3.0
A formalization of geometry in Coq based on Tarski's axiom system