Other Publications: Proof Visualization for the Lean 4 Theorem Prover

[bülow22bachelorarbeit]

Niklas Bülow, Proof Visualization for the Lean 4 Theorem Prover, April 2022.

Download

BibTeX

@misc{bülow22bachelorarbeit,
  title = {Proof Visualization for the Lean 4 Theorem Prover},
  year = {2022},
  month = apr,
  author = {Niklas B{\"u}low},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Students
Niklas Bülow

Bachelor and Masters theses

Proof visualization for the Lean 4 theorem prover