Diophantine Equations and the DPRM Theorem.
Arch. Formal Proofs, 2022
Arch. Formal Proofs, 2022
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
The DPRM Theorem in Isabelle (Short Paper).
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019