GitHub repository: larsk21/iris-lean
Primary language: Lean
Description: Lean 4 port of Iris, a higher-order concurrent separation logic framework