Homepage
How to use it
Download
Screenshots
Why
About Us
Contact Us
News
Contact
Logic and mathematics seem to be the only domains where self-evidence manages to rise above triviality; and this it does, in those domains, by a linking of self-evidence on to self-evidence in the chain reaction known as proof.
Willard van Orman Quine