What is DC Proof?
- Free, PC-based educational software
- Logic-checking software provides instant feedback as you enter every line of proof
- Includes interactive tutorial that introduces the standard methods of proof using simple examples and exercises
Comments