leanprover-communityiris

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

    Qqbf4cd32

    Intuitive, type-safe expression quotations for Lean 4.