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