GeoCoq in coq-community/awesome-coq

A formalization of geometry in Coq based on Tarski's axiom system

created at July 15, 2015, 11:41 a.m.

Coq

19 +0

175 +0

26 +0

GitHub
Most stars Fewest stars Most forks Fewest forks Most watchers Fewest watchers Recently created Least recently created Recently updated Least recently updated Most repositories Fewest repositories
All languages 1 Coq 1