Sonstiges: Diagram Chasing in Interactive Theorem Proving

[himmel20bachelorarbeit]

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

Download

[PDF]

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},
}

Institutsinterne Autoren

Ehemalige Studenten
Markus Himmel

Bachelor- und Masterarbeiten

Diagrammjagd in einem interaktiven Theorembeweiser