HOME | DEUTSCH | IMPRESSUM | KIT

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

  [PDF]

BibTeX

Authors at the institute

Students
Niklas Bülow

Bachelor and Masters theses

Bachelor and Masters theses
Proof visualization for the Lean 4 theorem prover