Skip to content

proofscape/pfsc-moose

Repository files navigation

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.