Homepage
How to use it
Download
Screenshots
Why
About Us
Contact Us
Who's behind this project
Main developer: Paolo Parisen Toldin
Ideas: Marco Gaboardi & Paolo Parisen Toldin
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