leanprover-communityiris

Lean 4 port of Iris, a higher-order concurrent separation logic framework
No README.md in repository.