Lazy Proof Automation for Separation Logic
2026 · International Conference on Interactive Theorem Proving · pp. 6:1-6:18 · 0 citations
· 28 references
Computer Science