GeoCoq software on GitHub

Software OPEN SOURCE

A formalization of geometry in Coq based on Tarski's axiom system
Share - Bookmark