leanprover-communityiris

Lean 4 port of Iris, a higher-order concurrent separation logic framework
Sort by
  1. Registry dependency.
    Found on Reservoir.

    Qq9a599e9

    Intuitive, type-safe expression quotations for Lean 4.