GitHub / Deducteam / GeoCoqInE
A formalization of geometry in Coq based on Tarski's axiom system
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/Deducteam%2FGeoCoqInE
Fork of GeoCoq/GeoCoq
Stars: 0
Forks: 0
Open issues: 0
License: lgpl-3.0
Language: Coq
Size: 7.31 MB
Dependencies parsed at:
0
Created at: about 6 years ago
Updated at: over 5 years ago
Pushed at: over 5 years ago
Last synced at: 3 days ago
No dependencies found