ĄDOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
Who we are
The system will be accesible from anywhere over the Internet.Projects will be stored in a postgre SQL database system and submitted to a theorem prover.
GnosioGenesis will use OTTER as the main inference engine.
For a demonstration of the use of OTTER over the Internet, please click