☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (5)
Dependencies (1)
iris
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
Qq
0658db6
Intuitive, type-safe expression quotations for Lean 4.
1
20