leanprover-community/iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework

LeanStars 134Forks 22Watchers 134Open issues 34License Apache License 2.0

Details

仓库信息

Ownerleanprover-community

Homepage—

Last pushed2025-12-08

Last updated2025-12-13

Issues fetched at—

Community at a glance