No results found

lean-groebner

Lean4 formalization of Gröbner basis (WIP)
#groebner-basis
Displaying 1-1 of 1 versions of lean-groebner
Sort by
  1. Not a part of any version track.
    103e362
    2 years ago
    Released on June 15, 2023 at 6:38:19PM
    Commit 103e362 builds on its old leanprover/lean4:nightly-2023-06-10
    nightly-2023-06-10