Timeline for What's a magical theorem in logic?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Aug 30, 2011 at 2:50 | history | edited | Cole Leahy | CC BY-SA 3.0 |
Added theorem statements.
|
| Aug 30, 2011 at 1:26 | history | answered | François G. Dorais | CC BY-SA 3.0 |