WuProvergroebner0.1.0

Formalization of Gröbner basis theory in Lean4 (WIP)
#math
Displaying 1-1 of 1 packages depending on WuProver/groebner
Sort by

  1. WuProver/MonomialOrderedPolynomialusesad03d4a

    Monomial ordered polynomial implementation in Lean4