Other Publications: Static Uniqueness Analysis for the Lean 4 Theorem Prover

[huisinga23masterarbeit]

Marc Huisinga, Static Uniqueness Analysis for the Lean 4 Theorem Prover, April 2023.

Download

BibTeX

@misc{huisinga23masterarbeit,
  title = {Static Uniqueness Analysis for the Lean 4 Theorem Prover},
  year = {2023},
  month = apr,
  author = {Marc Huisinga},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

former tutors
Marc Huisinga

Bachelor and Masters theses

Static Uniqueness Analysis for Lean