Rothgang C, Rabe F and Benzmüller C. Theorem Proving in Dependently-Typed Higher-Order Logic. Automated Deduction – CADE 29. (438-455).

https://doi.org/10.1007/978-3-031-38499-8_25

Kaliszyk C and Rabe F. A Survey of Languages for Formalizing Mathematics. Intelligent Computer Mathematics. (138-156).

https://doi.org/10.1007/978-3-030-53518-6_9

Bauer A, Haselwarter P and Petković A. Equality Checking for General Type Theories in Andromeda 2. Mathematical Software – ICMS 2020. (253-259).

https://doi.org/10.1007/978-3-030-52200-1_25

Kohlhase M, Rabe F, Sacerdoti Coen C and Schaefer J. Logic-Independent Proof Search in Logical Frameworks. Automated Reasoning. (395-401).

https://doi.org/10.1007/978-3-030-51074-9_22

Müller D and Rabe F. (2019). Rapid Prototyping Formal Systems in MMT: 5 Case Studies. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.307.5. 307. (40-54).

http://arxiv.org/abs/1910.10850v1

Rabe F and Sharoda Y. (2019). Diagram Combinators in MMT. Intelligent Computer Mathematics. 10.1007/978-3-030-23250-4_15. (211-226).

http://link.springer.com/10.1007/978-3-030-23250-4_15

Müller D, Rabe F and Sacerdoti Coen C. (2019). The Coq Library as a Theory Graph. Intelligent Computer Mathematics. 10.1007/978-3-030-23250-4_12. (171-186).

http://link.springer.com/10.1007/978-3-030-23250-4_12