[Contents]

TYP --

library for type checking of mu-EC objects

[Contents]


MuPAD Combinat, an open source algebraic combinatorics package