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

Add code
Apr 04, 2024

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: