Theoretical Computer Science
Dan Christensen
Profile Activity
Stats
121
reputation
0
reached
1
answers
0
questions
About

A math enthusiast and creator of DC Proof, an educational freeware program to introduce students to the basic methods of proof. Visit my math blog.

Communities (7)

Top network posts

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges

Top tags (3)

Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
2 Proof assistant for writing mathematics Nov 13 '12

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.