GitHub repository: thery/grobner
Primary language: Coq
Created: 2015-09-25T08:10:39Z
Description: A fornalisation of Grobner basis in ssreflect