@hackage computational-algebra0.0.3.2

Well-kinded computational algebra library, currently supporting Groebner basis.

Dependently-typed computational algebra libray for Groebner basis.