Picture for João Marcos

João Marcos

Federal University of Rio Grande do Norte, Brazil

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

Add code
Mar 09, 2023
Viaarxiv icon

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

Add code
Feb 02, 2022
Viaarxiv icon

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

Add code
Oct 28, 2020
Viaarxiv icon

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

Add code
Feb 27, 2020
Viaarxiv icon