prove evaluate sign up sign in index info

welcome

this site is for students and teachers of logic.

you can use the apps to build proofs and evaluate formulas.

sign up to collect your results in a library.

(eventually, sign up as an instructor to run a course throught the site, or as a student to take such a course.)