/iris-lean

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

Primary LanguageLeanApache License 2.0Apache-2.0

No issues in this repository yet.