GitHub repository: rocq-archive/tarski-geometry
Primary language: Coq
Description: Tarski's geometry