Molle screen shots

Molle main window, Mac OS X, standard look 'n feel Molle on Mac OS X, standard (aqua) look & feel. Main application window, after proving a valid formula.
Molle main window, Mac OS X, metal look 'n feel Molle on Mac OS X, metal look & feel. Main application window, after proving an invalid formula.
Molle main window, Windows Molle on Windows. Main application window.
Molle splash screen Molle splash screen.
Molle model window Model view, after a valid formula has been proven. The Earth represents simple world, Mars the root, and the moon a contradicted world. Tooltips enable quick inspection of formulae in each world.
Molle frame properties Choosing frame properties to enforce.
Molle syntax help Formulae syntax help.