Lean 4 port of Iris, a higher-order concurrent separation logic framework
Latest commits.
Builders behind this project.
