pfsc-moose Moose is a forest browser. This is the software that provides the navigable, expandable, and collapsable flow chart views, in the Proofscape ISE.