COMP FORMAL EUCLIDEAN GEOM (V1)

Axiom;Metric;Angle;Congruence;Triangle;Parallel;Law of Sines;Area;Law of Cosines;Incircles;Inradius;Exradius;Semiperimeter;Similarity;Orthocenter;Orthic Triangle;Euler's Circles;Euler's Lineheron's Formula;Fagnano's Problem;Stewart's Relation;Centroid;Power of a Point;Menelaus' Theorem;Collinearity;Concurrence;Ceva's Theorem;Isogonal Points;Quadrilateral;Simson's Line;Miquels' Point;Aubert's Line;Anticenter;Cyclic Quadrilateral;Orthodiagonal Quadrilateral;Archimede's Formula;Bretschneider's Relation;Biquotient;Perpendicular;Vector;Argand Diagram;Equivalence Relation;Linear Independence;Median;Symedian;Altitude;Angle Bisector;Bimedian;Thales' Theorem;Rotation;Leibnitz' Formula Feuerbach's Point;Gibb's Formula;Desargues' Theorem;Paralelogic;Orthologic;Baricentric Coordinates;Angular Momentum;Moment of Inertia;Tetrahedron