4,553 reputation
bio website dcproof.com
location Canada
visits member for 4 years, 4 months
seen Feb 27 at 17:16

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. Also visit my math blog.

This user has not answered any questions
Mathematics 4,553 rep 1026
Philosophy 399 rep 8
Theoretical Computer Science 121 rep 2
MathOverflow 101 rep 1

1 Vote Cast

all time   by type  
1 up 0 question
0 down 1 answer