Markus Himmel

	Contact

Publications

2020

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

Theses worked on

• Diagram Chasing in Interactive Theorem Proving (finished), bachelor thesis