S
imon
R
oßkopf
Homepages 🌐
http://www21.in.tum.de/~rosskops
Entries
2021
Isabelle's Metalogic: Formalization and Proof Checker
by
Tobias Nipkow
🌐
and
Simon Roßkopf
🌐
Apr 27