GitHub repository: GeoCoq/GeoCoq
Primary language: Coq
Created: 2015-07-15T11:41:05Z
Description: A formalization of geometry in Coq based on Tarski's axiom system