A Dynamic Geometry Environment for Learning Theorem Proving.

Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin

Browse the full ICALT paper archive.