A New Export of the Mizar Mathematical Library

von Rothgang, Colin
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Theorem Proving in Dependently-Typed Higher-Order Logic

von Rothgang, Colin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Representing Structural Language Features in Formal Meta-languages

von Müller, Dennis
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)