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.