File Menu

ConjectureStarts the conjecturing engine.

CloseClose this window.