Sonstiges: Proof Visualization for the Lean 4 Theorem Prover

[bülow22bachelorarbeit]

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

Download

[PDF]

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},
}

Institutsinterne Autoren

Studenten
Niklas Bülow

Bachelor- und Masterarbeiten

Beweisvisualisierung für den Theorembeweiser Lean 4