There are 0 repository under tarski-axiom topic.
A formalization of geometry in Coq based on Tarski's axiom system