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)