Keyword: hilbert's axioms

• RulerCompassGeometry: Ruler and compass geometry axiomatization
  Jean Duprat