WuProverMonomialOrderedPolynomial0.1.0

Monomial ordered polynomial implementation in Lean4
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    groebnerad03d4a

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

    lean4exportv4.29.0-rc6

    Plain-text declaration export for Lean 4