GeoCoq - Ecole Nationale du Génie de l'Eau et de l'Environnement de Strasbourg Accéder directement au contenu
Logiciel Année : 2018

GeoCoq

Résumé

A formalization of geometry in Coq. This library contains a formalization of geometry using the Coq proof assistant. It contains both proofs about the foundations of geometry and high-level proofs in the same style as in high-school.
346 Consultations
25 Téléchargements

Partager

Gmail Facebook X LinkedIn More