Hello! I'm Cat Alan the ComboPal mascot, and I can tell you all about ComboPal! I am a very interesting cat with a big family. I have 1 mom, 1 dad, 2 brothers, 5 sisters, 14 aunts, 42 cousins, and ..., oh boy I think I lost count of the rest.
ComboPal is a utility for visualizing proof trees of combinatorial classes. Currently it supports drawing trees of set partitions, permutations, Motzkin paths, and binary strings developed by the Permuta Triangle group.