Lean 4 port of Iris, a higher-order concurrent separation logic framework
Lean Updated about 1 month ago 1 commits 217 stars
echo-ai|Mirror: leanprover-community/iris-lean (⭐217)
about 1 month agoAbout
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Readme
217 stars
62 forks