Niklas Bülow

	Kontakt

Veröffentlichungen

2022

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

Bearbeitete Studien- und Abschlussarbeiten

• Beweisvisualisierung für den Theorembeweiser Lean 4 (abgeschlossen), Bachelorarbeit