Other Publications: 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

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

Authors at the institute

former tutors
Lars König

Bachelor and Masters theses

An Interface for Separation Logic Proofs in Lean