Other Publications: Diagram Chasing in Interactive Theorem Proving

[himmel20bachelorarbeit]

Markus Himmel, Diagram Chasing in Interactive Theorem Proving, April 2020.

Download

BibTeX

@misc{himmel20bachelorarbeit,
  title = {Diagram Chasing in Interactive Theorem Proving},
  year = {2020},
  month = apr,
  author = {Markus Himmel},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Students
Markus Himmel

Bachelor and Masters theses

Diagram Chasing in Interactive Theorem Proving