leansolvingCSP1.0.0

Sort by
  1. Registry dependency.
    Found on Reservoir.

    Canonicalv4.24.0-rc1

    A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  2. Git dependency.
    Found on Reservoir.

    mathlibccbcff4

    The math library of Lean 4