About ComboPal

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.

If you have any questions about ComboPal, you should send an email to my owners Henning Ulfarsson and Christian Bean.