Programming paradigms group - IPD Snelting

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

@phdthesis{ullrich23thesis,
  title = {An Extensible Theorem Proving Frontend},
  year = {2023},
  author = {Sebastian Andreas Ullrich},
  school = {Karlsruher Institut f{\"u}r Technologie, Fakult{\"a}t f{\"u}r Informatik},
  doi = {10.5445/IR/1000161074},
}