leanprover-communityiris

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

    batteriesv4.27.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Registry dependency.
    Found on Reservoir.

    Qqbf4cd32

    Intuitive, type-safe expression quotations for Lean 4.