IsaGeoCoq

Tarski_Neutral

Tarski_Neutral_Archimedes

Tarski_Postulate_Parallels

Tarski_Neutral_Continuity

Tarski_Neutral_Continuous

Tarski_Neutral_Archimedes_Continuity

Hilbert_Neutral

Tarski_Neutral_Hilbert

Tarski_Neutral_2D

Tarski_Neutral_Continuity_2D

Tarski_Neutral_3D

Tarski_Neutral_3D_Hilbert

Tarski_Euclidean

Tarski_Euclidean_2D

Tarski_Euclidean_2D_Continuous

Highschool_Neutral

Highschool_Euclidean

Highschool_Euclidean_2D

Tarski_Non_Euclidean

Tarski_Non_Euclidean_Aristotle

Tarski_Non_Euclidean_Archimedean

Gupta_Neutral

Gupta_Neutral_2D

Gupta_Euclidean

Hilbert_Neutral_2D

Hilbert_Neutral_3D

Hilbert_Euclidean

Tarski_Neutral_Model_Gupta_Neutral

Tarski_Neutral_2D_Model_Gupta_Neutral_2D

Tarski_Euclidean_Model_Gupta_Euclidean

Gupta_Neutral_Model_Tarski_Neutral

Gupta_Neutral_2D_Model_Tarski_Neutral_2D

Gupta_Euclidean_Model_Tarski_Euclidean

Hilbert_Neutral_Model_Tarski_Neutral

Hilbert_Neutral_2D_Model_Tarski_Neutral_2D

Hilbert_Neutral_3D_Model_Tarski_Neutral_3D

Hilbert_Euclidean_Model_Tarski_Euclidean

Tarski_Neutral_Model_Hilbert_Neutral

Tarski_Neutral_2D_Model_Hilbert_Neutral_2D

Tarski_Neutral_3D_Model_Hilbert_Neutral_3D

Tarski_Euclidean_Model_Hilbert_Euclidean