HOME | DEUTSCH | IMPRESSUM | KIT

Ph.D. thesis: An Extensible Theorem Proving Frontend

[ullrich23thesis]Sebastian Andreas Ullrich, An Extensible Theorem Proving Frontend, Karlsruher Institut für Technologie, Fakultät für Informatik, 2023.

Download

  [PDF]   [DOI]

BibTeX