Workshop on the formalization of elementary geometry

https://axdef.hypotheses.org/597