iris-lean

Lean ★ 0 updated 6mo ago ⑂ fork

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

No plain-English explanation yet — one is being written right now. Check back in a minute.