Markus Himmel

	Kontakt

Veröffentlichungen

2020

• Diagram Chasing in Interactive Theorem Proving
  April 2020 : M. Himmel

Bearbeitete Studien- und Abschlussarbeiten

• Diagrammjagd in einem interaktiven Theorembeweiser (abgeschlossen), Bachelorarbeit