Separation Logic Proofs in Lean
Lean
56
299 commits
updated Jan 28, 2026
191 commits
84 commits
21 commits
3 commits
100.0%
