HOME | DEUTSCH | IMPRESSUM | KIT

masters thesis (finished): An Interface for Separation Logic Proofs in Lean