Proceedings 6th International Workshop on Theorem proving components for Educational software

Add code
Mar 02, 2018

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: