The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. - Maximilian Doré; Krysia Broda (CSEDU (2), 2018)

Intuitive Reasoning in Formalized Mathematics with Elfe. - Maximilian Doré; Krysia Broda (CSEDU (Selected Papers), 2018)

Towards Intuitive Reasoning in Axiomatic Geometry. - Maximilian Doré; Krysia Broda (ThEdu@FLoC, 2018)

Automating Boundary Filling in Cubical Agda. - Maximilian Doré; Evan Cavallo; Anders Mörtberg (FSCD, 2024)

Dependent Multiplicities in Dependent Linear Type Theory. - Maximilian Doré (CoRR, 2025)