| chapitre | nb théorèmes | nb lignes specification | nb ligne de preuves |
|---|---|---|---|
| cong | 16 | 54 | 116 |
| bet | 16 | 69 | 111 |
| cong_bet | 19 | 151 | 183 |
| bet_le | 17 | 88 | 340 |
| out_line | 22 | 103 | 426 |
| midpoint | 21 | 101 | 758 |
| orthogonality | 77 | 191 | 2412 |
| plane | 37 | 145 | 2333 |
| line_reflexivity | 44 | 173 | 2712 |
| angles | 187 | 433 | 10612 |
| parallélisme | 68 | 163 | 3560 |
| total | 524 | 1671 | 23563 |
| retour à l'acceuil | Gabriel Braun - octobre 2011 | statistiques |