Description: New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people