Iris Lean

https://github.com/leanprover-community/iris-lean

A Lean 4 port of Iris, a higher-order concurrent separation logic framework for reasoning about...

Tokens:6,464
Snippets:77
Trust Score:9.5
License:Apache-2.0
Update:1 month ago
Tokens:
Raw