cleanup the code a bit - Githubissues

issues

search

thery / grobner

A fornalisation of Grobner basis in ssreflect

12 stars 3 forks source link

cleanup the code a bit #2

Closed clayrat closed 1 year ago

© Githubissues.
Githubissues is a development platform for aggregating issues.