DC Proof

DC Proof 2.0

Includes interactive tutorial that introduces the standard methods of proof

2.0 Latest version
Freeware Absolutely free
Mac No version
Developer Dan Christensen

Program info

See all (3)
Main View
Main window

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

Details

Extensions

No extensions

No information available

The data will be available later.

Awards

User