Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.
Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022
Virtualization of HOL4 in Isabelle.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Deriving generic class instances for datatypes.
Arch. Formal Proofs, 2018
Orbit-Stabiliser Theorem with Application to Rotational Symmetries.
Arch. Formal Proofs, 2017