meta user
network profile
| bio | website | dcproof.com |
|---|---|---|
| location | Canada | |
| age | ||
| visits | member for | 2 years, 6 months |
| seen | yesterday | |
| stats | profile views | 373 |
An amateur mathematician, I have developed DC Proof, an educational 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
| 10 | 2 days ago | ||||
| |||||
| 5 | May 19 | ||||
| |||||
| 5 | May 18 | ||||
| |||||
| 10 | May 16 | ||||
| 2 | May 15 | ||||
| 27 | May 9 | ||||
| 5 | May 6 | ||||
| 15 | May 5 | ||||
| 5 | May 3 | ||||
| 45 | May 2 | ||||
| 10 | May 1 | ||||
| 5 | Apr 28 | ||||
| 2 | Apr 25 | ||||
| 35 | Apr 24 | ||||
| 5 | Apr 23 | ||||
| 20 | Apr 22 | ||||
| 10 | Apr 21 | ||||
| 10 | Apr 16 | ||||
| 10 | Apr 12 | ||||
| 2 | Apr 11 | ||||
| 10 | Apr 8 | ||||
| 5 | Apr 6 | ||||
| 10 | Apr 3 | ||||
| 15 | Mar 31 | ||||
| 10 | Mar 25 | ||||
| 10 | Mar 20 | ||||
| 10 | Feb 20 | ||||
| 10 | Feb 7 | ||||
| 10 | Jan 29 | ||||
| 10 | Jan 28 | ||||
