Timeline for Proof assistant for writing mathematics
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 10, 2012 at 15:39 | comment | added | Dan Christensen | Here is the proof: dcproof.com/EmptySetUnique.htm There is a video at my website showing how the system works. | |
| Nov 18, 2012 at 18:45 | comment | added | Charles Stewart | This is a little sell-ish for this site. Could you present some information in an even-handed way to say in what way your software is well-suited to the problem? Perhaps a link to a video or a screenshot of this derivation being carried out? | |
| Nov 13, 2012 at 6:42 | review | First posts | |||
| Nov 20, 2012 at 1:01 | |||||
| Nov 13, 2012 at 6:24 | history | answered | Dan Christensen | CC BY-SA 3.0 |