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.
Q&A for people studying math at any level and professionals in related fields
Q&A for those interested in logical reasoning
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional mathematicians