GeoCoq / GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system
191Updated last month

Alternatives and similar repositories for GeoCoq:

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