- tarski_axioms.v
- Ch02_cong.v
- Ch03_bet.v
- Ch04_col.v
- Ch04_cong_bet.v
- Ch05_bet_le.v
- Ch06_bis_nary_col.v
- Ch06_out_lines.v
- Ch07_midpoint.v
- Ch08_orthogonality.v
- Ch09_plane.v
- Ch10_line_reflexvity.v
- Ch11_angles.v
- Ch12_parallel.v
- Ch12_parallel_bis.v
- Ch13_1.v
- Ch13_2_length.v
- Ch13_3_angles.v
- Ch13_4_cos.v
- Ch13_5_Pappus.v
- Ch13_6_Desargues.v
- Ch14_field.v (en cours)
|
- hilbert_axioms.v
- tarski_to_hilbert.v
- quadrilaterals.v
- quadrilaterals_bis.v
- project.v
- vectors.v
- orientation.v
|
- Tactics.v
- aux.v
- circumcenter.v
- colMSets.v
- construction_functions.v
- general_tactics.v
- gravityCenter.v
- grravityCenterAux.v
- orthocenter.v
- perp_bisect.v
- square.v
- tarski_to_hilbert.v
- tarski_to_makarios.v
- triangle_midpoints_theorems.v
- triangles.v
- unit_tests.v
|