AmosNicovalidator0.1.0

Formally Verified Validator for Unsolvability Certificates for Automated Planning in Lean 4
#math
Sort by
  1. Git dependency.
    Not found on Reservoir.

    stripsc8487e3

  2. Git dependency.
    Not found on Reservoir.

    bdd69aa3ba

  3. Git dependency.
    Not found on Reservoir.

    Parser57874a1

  4. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.0

    The math library of Lean 4