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.
    3b9a7bf
    11 days ago
    Released on April 29, 2025 at 3:13:29AM
    Commit 3b9a7bf builds on its old leanprover/lean4:nightly-2023-06-10
    nightly-2023-06-10