Objets
Axiomes
Définitions
Une construction
Une démonstration
La géométrie de Tarski en Coq
Alfred Tarski
1902 - 1983
Les objets
Les axiomes
Quelques définitions
Un exemple de construction
Une démonstration
Quelques théorèmes
Statistiques
Les preuves en Coq
Une autre démonstration
Pappus & Desargues
Objets
Axiomes
Définitions
Une construction
Une démonstration
retour à l'acceuil
Gabriel Braun - octobre 2011
statistiques