Publications
| Publication |
| An Improved Interface for Interactive Proofs in Separation Logic |
Advisors
| Scientific Staff |
|---|
| Sebastian Ullrich |
Students
| Tutors |
|---|
| Lars König |
masters thesis (finished): An Interface for Separation Logic Proofs in Lean