Skip to content

feat: add formal verification — Lean 4 soundness proofs + proptest fo…

babe129
Select commit
Loading
Failed to load commit list.
Merged

feat: add formal verification — Lean 4 soundness proofs + proptest for permission lattice #42

feat: add formal verification — Lean 4 soundness proofs + proptest fo…
babe129
Select commit
Loading
Failed to load commit list.