File Menu
Conjecture
Starts the conjecturing engine.
Close
Close this window.