WuProverGroebnerTac0.1.0

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

    MonomialOrderedPolynomial821e036

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

    groebnerc92d123

    Formalization of Gröbner basis theory in Lean4 (WIP)