Timeline for Proof formalization
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 16, 2023 at 9:24 | history | suggested | C7X | CC BY-SA 4.0 |
Updating dead link
|
| Feb 16, 2023 at 9:10 | review | Suggested edits | |||
| S Feb 16, 2023 at 9:24 | |||||
| Mar 8, 2010 at 10:15 | vote | accept | glmxndr | ||
| Feb 25, 2010 at 22:45 | history | edited | Charles Stewart | CC BY-SA 2.5 |
ps
|
| Feb 25, 2010 at 16:29 | history | edited | Charles Stewart | CC BY-SA 2.5 |
sp, clarify
|
| Feb 25, 2010 at 12:07 | history | undeleted | Charles Stewart | ||
| Feb 25, 2010 at 12:07 | history | edited | Charles Stewart | CC BY-SA 2.5 |
make more relevant
|
| Feb 25, 2010 at 12:02 | history | deleted | Charles Stewart | ||
| Feb 25, 2010 at 12:01 | history | answered | Charles Stewart | CC BY-SA 2.5 |