GeoCoq / GeoCoqLinks

A formalization of geometry in Coq based on Tarski's axiom system
196Updated 3 weeks ago

Alternatives and similar repositories for GeoCoq

Users that are interested in GeoCoq are comparing it to the libraries listed below

Sorting: