NethermindEthfoxglove0.1.0

A formalisation of Foxglove, a modification of the Bluebell paper (See https://arxiv.org/pdf/2402.18708), adapted to functional programs.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    VCVio98dc108

  2. Git dependency.
    Found on Reservoir.

    iris-leanv4.34.0

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

    mathlibv4.34.0

    The math library of Lean 4