GeoCoq - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Software Year : 2018

GeoCoq

Abstract

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.
368 View
28 Download

Share

Gmail Facebook X LinkedIn More