5 citations · 8 across the 7 of their papers we have counts for
3 papers · 1 filter
Proving Calculational Proofs Correct
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over sever…
Calculational Proofs in ACL2s
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Teaching college students how to write rigorous proofs is a critical objective in courses that introduce formal reasoning. Over the course of several years, we have developed a mec…
Automated Grading of Automata with ACL2s
Ankit Kumar, Andrew Walter, Panagiotis Manolios
Almost all Computer Science programs require students to take a course on the Theory of Computation (ToC) which covers various models of computation such as finite automata, push-d…