WuProvergroebner0.1.0

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

  1. WuProver/GroebnerTacusesc92d123

  2. WuProver/MonomialOrderedPolynomialusesc92d123

    Monomial ordered polynomial implementation in Lean4