Packages tagged math

3 packages have this tag.

Related tags: library (3), gpl (2), algebra (1), automaton (1), bsd3 (1), machine (1), model (1), turing (1), type-level (1)