WuProver / groebner_projLinks

Formalization of Gröbner basis theory in Lean4 (WIP)
19Updated last week

Alternatives and similar repositories for groebner_proj

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

Sorting: