[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 |