rocq-community / buchbergerLinks

Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
10Updated last year

Alternatives and similar repositories for buchberger

Users that are interested in buchberger are comparing it to the libraries listed below

Sorting: