1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A method for the automated generation of proof exercises with comparable levels of proving complexity
João Mendes, João Marcos, Patrick Terrematte
The automated generation of exercises may substantially reduce the time educators devote to manual exercise design. A major obstacle to the integration of such automation into teac…
cs.LO2022★ 1 cited
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
João Marcos, Walther Neuper, Pedro Quaresma
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co…