thery / grobner

A fornalisation of Grobner basis in ssreflect

Repository from Github https://github.comthery/grobnerRepository from Github https://github.comthery/grobner

thery/grobner Stargazers