Follow
Charly Gries
Title
Cited by
Cited by
Year
Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry
P Boutry, J Narboux, P Schreck
submitted, July, 2015
17*2015
Somme des angles d'un triangle et unicité de la parallèle: une preuve d'équivalence formalisée en Coq
C Gries, P Boutry, J Narboux
Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA …, 2016
82016
GeoCoq
M Beeson, P Boutry, G Braun, C Gries, J Narboux
62018
Axiomes de continuité en géométrie neutre: une étude mécanisée en Coq
C Gries, J Narboux, P Boutry
22018
The system can't perform the operation now. Try again later.
Articles 1–4