leanprover-community / iris-leanLinks

Lean 4 port of Iris, a higher-order concurrent separation logic framework
97Updated last week

Alternatives and similar repositories for iris-lean

Users that are interested in iris-lean are comparing it to the libraries listed below

Sorting: