MY-GNOME-APP is an application which proves mathematical theorems. It has all the basic features expected from a mathematical theorem prover, as well as a number of advanced ones, such as proof by confusion. In fact, many of the proofs produced by MY-GNOME-APP are so complex that they are capable of proving almost anything with a virtually null likelihood of being disproven. It also has the very popular predecessor of proof by confusion, proof by dialog, first implemented by Plato.
It also allows you to save and print theorem proofs and to add comments to the proofs it produces.
To run MY-GNOME-APP, select SUBMENU->MY-GNOME-APP from the Main Menu, or type MYGNOMEAPP on the command line.
MY-GNOME-APP is included in the GNOME-PACKAGE package, which is part of the GNOME desktop environment. This document describes version 1.2.0 of MY-GNOME-APP.
| Next >>> | ||
| Using MY-GNOME-APP |