MYWOT
Child safety
N/A
Confidence
0%
Trustworthiness
N/A
Confidence
0%
MALICIOUS CONTENT INDICATORS
Prooftoys.org most likely does not offer any malicious content.
Secure connection support
HTTPS
Prooftoys.org provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Prooftoys.org most likely does not offer any adult content.
Popular pages
-
Home - Prooftoys
The Prooftoys proof assistant is for beginners. An easy, practical system of deductive reasoning with open source implementation