A new learning aid to teach
the fundamentals of logic and proof...

A new aid to critical thinking and logical analysis...


"Well conceived, carefully planned and remarkable in its pedagogy and content."
–Brendan Kelly Ph.D., Ed.D.,  Emeritus Professor of Mathematics and Mathematics Education, OISE/University of Toronto

"What impressed me most about this teaching software is that it seems to focus on ensuring that logic (FOPL) is stripped to its bare essentials, and these simplest concepts are taught very thoroughly indeed, with full cross referencing between practice and theory."
– Stephen Simmons, Clinical Director, National Health Service, UK

"A better tool for learning about proofs in the way that mathematicians usually do them."
–Norman Megill, Author of "Metamath" 

   Download DC Proof 1.0

What is DC Proof?

Features

System Requirements

	Click to contact author   
	Copyright © 2007 Dan Christensen