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