TY  - RPRT
TI  - Number Theory and Axiomatic Geometry in the Diproche System
AU  - Merlin Carl
PY  - 2020
DO  - 10.4204/eptcs.328.4
UR  - https://arxiv.org/abs/2006.01794
ID  - 2006.01794
ER  -