iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
1-1 of 1 packages depending on leanprover-community/iris-lean
Sort by
Package Name
edwin1729/bppluses
2156ed2Probabilistic Separation Logic
iris-lean2156ed2