https://www.atwalter.com/ https://www.atwalter.com/papers/ https://www.atwalter.com/papers/acl2s-systems-programming/ 2022-05-01 https://www.atwalter.com/papers/automated-grading-of-automata/ 2022-08-11 https://www.atwalter.com/papers/enumerative-data-types-with-constraints/ 2022-10-01 https://www.atwalter.com/papers/gamification-of-loop-inv-discovery/ 2019-10-01 https://www.atwalter.com/papers/proving-calculational-proofs-correct/ 2023-11-14 https://www.atwalter.com/papers/reasoning-engine-for-gamification/ 2021-09-01