edwin1729bppl0.1.0

Probabilistic Separation Logic
#math
Sort by
  1. Git dependency.
    Found on Reservoir.

    iris2156ed2

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

    mathlibv4.28.0

    The math library of Lean 4