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