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?)
Pedro Quaresma, Walther Neuper and João Marcos are not registered as owners of this paper. (why?)