Reusing Learning Objects via Theory Morphisms.
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
Term Extraction for Domain Modeling.
Proceedings of the DELFI 2024, 2024
Beautiful Formalizations in Isabelle/Naproche.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
The Isabelle/Naproche Natural Language Proof Assistant.
Proceedings of the Automated Deduction - CADE 28, 2021