- A Graphical User Interface Framework for Formal Verification https://drops.dagstuhl.de/opus/volltexte/2021/13899/pdf/LIPIcs-ITP-2021-4.pdf
- Design of point-and-click user interfaces for proof assistants https://www.chimaira.org/archive/ICFEM2019_paper_21.pdf
- HolPy: Interactive Theorem Proving in Python (System Description) https://arxiv.org/pdf/1905.05970.pdf
- A Modular Type Reconstruction Algorithm https://kwarc.info/people/frabe/Research/rabe_recon_17.pdf