
Publications
Data for Mathematical Copilots: Better Ways of Presenting Proofs for
Machine Learning
(2024)
Category Theory in Isabelle/HOL as a Basis for Meta-logical
Investigation
(2023)
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
(2023)
14101,
69
(doi: 10.1007/978-3-031-42753-4_5)
Beginners' Quest to Formalize Mathematics: A Feasibility Study in
Isabelle
(2021)
Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle
(2019)
11617,
16
(doi: 10.1007/978-3-030-23250-4_2)