Sonstiges: Static Uniqueness Analysis for the Lean 4 Theorem Prover

[huisinga23masterarbeit]

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

Download

[PDF]

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

Institutsinterne Autoren

Ehemalige Tutoren
Marc Huisinga

Bachelor- und Masterarbeiten

Statische Einzigartigkeitsanalyse für Lean