TY  - RPRT
TI  - Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
AU  - Ludovic Font
AU  - Sébastien Cyr
AU  - Philippe R. Richard
AU  - Michel Gagnon
PY  - 2020
DO  - 10.4204/eptcs.313.1
UR  - https://arxiv.org/abs/2002.12551
ID  - 2002.12551
ER  -