4,676 reputation
10 26

Dan Christensen

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.

Top Tags (90)

Score 127
Posts 159
Posts % 50
Score 29
Posts 28
Score 21
Posts 83
Score 21
Posts 17
Score 17
Posts 28
Score 17
Posts 24

Top Posts (320) All Questions Answers | Votes Newest

View all questions and answers

Badges (36)

Gold
Silver 10

Rarest

Bronze 26

Rarest