WuProverGroebnerTac0.1.0

#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    MonomialOrderedPolynomial94262b0

    Monomial ordered polynomial implementation in Lean4
  2. Registry dependency.
    Found on Reservoir.

    groebnera34921b

    Formalization of Gröbner basis theory in Lean4 (WIP)
  3. Registry dependency.
    Found on Reservoir.

    mathlibv4.34.1

    The math library of Lean 4