Niklas Bülow

	Contact

Publications

2022

• Proof Visualization for the Lean 4 Theorem Prover
  April 2022 : N. Bülow

Theses worked on

• Proof visualization for the Lean 4 theorem prover (finished), bachelor thesis