A Theorem Prover for Scientific and Educational Purposes. - Mario Frank 002; Christoph Kreitz (ThEdu@CADE, 2017)

Automatische Inferenz. - Christoph Kreitz; Mario Frank 002 (Handbuch der Künstlichen Intelligenz, 2020)

The Coq Proof Script Visualiser (coq-psv). - Mario Frank 002 (CoRR, 2021)

nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic. - Leo Repp; Mario Frank 002 (AReCCa@TABLEAUX, 2023)

On synthesising Linux kernel module components from Coq formalisations. - Mario Frank 002 (2024)