GitHub - rocq-archive/tarski-geometry: Tarski's geometry

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
Ch01_tarski_axioms.v		Ch01_tarski_axioms.v
Ch02_congruence_properties.v		Ch02_congruence_properties.v
Ch03_between_properties.v		Ch03_between_properties.v
Ch04_congruence_between_properties.v		Ch04_congruence_between_properties.v
Ch05_between_transitivity_le.v		Ch05_between_transitivity_le.v
Ch06_out_lines.v		Ch06_out_lines.v
Ch07_midpoint.v		Ch07_midpoint.v
Ch08_orthogonality.v		Ch08_orthogonality.v
Make		Make
Makefile		Makefile
description		description
general_tactics.v		general_tactics.v