Simon Roßkopf

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Mathematical Proofs

Cut Elimination

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Simon Roßkopf, Tobias Nipkow
A Formalization and Proof Checker for Isabelle's Metalogic. J. Autom. Reason. 67 (1) (2023)
Tobias Nipkow, Simon Roßkopf
Isabelle's Metalogic: Formalization and Proof Checker. CoRR (2021)
Tobias Nipkow, Simon Roßkopf
Isabelle's Metalogic: Formalization and Proof Checker. Arch. Formal Proofs 2021 (2021)
Tobias Nipkow, Simon Roßkopf
Isabelle's Metalogic: Formalization and Proof Checker. CADE (2021)