1 result found Sort:
A formalization of geometry in Coq based on Tarski's axiom system
Created
2015-07-15
172 commits to master branch, last one 5 months ago