Joscha Mennicken

	Contact

Publications

2022

• Locating and presenting lexical references in a theorem prover
  April 2022 : J. Mennicken

Theses worked on

• Localizing & Presenting Lexical References in a Theorem Prover (finished), bachelor thesis