TY  - RPRT
TI  - Towards an Independent Version of Tarski's System of Geometry
AU  - Pierre Boutry
AU  - Stéphane Kastenbaum
AU  - Clément Saintier
PY  - 2024
DO  - 10.4204/eptcs.398.11
UR  - https://arxiv.org/abs/2401.11904
ID  - 2401.11904
ER  -