## Packages tagged type-level

1 package has this tag.

Related tags: algebra (1), bsd3 (1), library (1), math (1)

- computational-algebra library: Well-kinded computational algebra library, currently supporting Groebner basis. (algebra, bsd3, library, math, type-level)