Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

GeoCoq

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

Coq160lgpl-3.0

6 months ago

archimedescontinuitycoq