2,700 reputation
617
bio website dcproof.com
location Canada
age
visits member for 3 years, 5 months
seen 3 hours ago

An amateur mathematician, I have developed DC Proof, an educational software program to introduce students to the basic methods of proof. In the style of most mathematics textbooks at the undergraduate level, its simplified rules of logic and set theory are loosely based on standard FOL and ZFC. For more information, a video demo and free download, visit my website at http://www.dcproof.com.

Vote or comment on my ad for DC Proof at Community Promotion Ads - 2013


39
Dec 3 '10 at 15:57
9
Mar 12 at 16:07
5
Dec 29 '10 at 18:16
3
May 27 '13 at 4:13
2
Apr 22 '13 at 22:17
2
Apr 2 '13 at 14:33
2
Dec 11 '12 at 5:59
2
Jun 13 '12 at 3:15