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 de GeoCoq/GeoCoq
étoiles: 0
forks: 0
issues ouvertes: 0
licence: lgpl-3.0
langage: Coq
taille: 7,31 Mo
dépendances analysées: En attente
date de création: il y a environ 6 ans
date de mise à jour: il y a plus de 5 ans
enregistré: il y a plus de 5 ans
dernière synchronisation: il y a 2 jours
Loading...