thery / grobner

A fornalisation of Grobner basis in ssreflect

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

thery/grobner Stargazers