Automated Theorem Proving in the Classroom - Windsteiger, Wolfgang (arXiv.org, 2022)
Keywords: Artificial intelligence; Automation; Colleges & universities; Computer Science - Logic in Computer Science; Logic; Software; Students; Theorem proving