GitHub repository: Deducteam/GeoCoqInE
Primary language: Coq
Description: A formalization of geometry in Coq based on Tarski's axiom system