Sonstiges: An Improved Interface for Interactive Proofs in Separation Logic

[koenig22masterarbeit]

Lars König, An Improved Interface for Interactive Proofs in Separation Logic, October 2022.

Download

[PDF]

BibTeX

@misc{koenig22masterarbeit,
  title = {An Improved Interface for Interactive Proofs in Separation Logic},
  year = {2022},
  month = oct,
  author = {Lars K{\"o}nig},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Tutoren
Lars König

Bachelor- und Masterarbeiten

Eine Schnittstelle für Separation-Logic-Beweise in Lean