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…