We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2002.11895 can endorse.

Proceedings 8th International Workshop on Theorem Proving Components for Educational Software

Pedro Quaresma, Walther Neuper and João Marcos are not registered as owners of this paper. (why?)