Timeline for Can one make high-level proofs about chess positions?
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2016 at 5:15 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 29 characters in body
|
| Feb 6, 2016 at 5:08 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 120 characters in body
|
| Feb 6, 2016 at 3:57 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
rewrite in a different order
|
| Feb 4, 2016 at 17:55 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
pare down to relevant information to question.
|
| Feb 4, 2016 at 16:40 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
deleted
|
| Jan 31, 2016 at 22:28 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 186 characters in body
|
| Jan 31, 2016 at 21:40 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 147 characters in body
|
| Jan 31, 2016 at 21:29 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 367 characters in body
|
| Jan 31, 2016 at 21:21 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 291 characters in body
|
| Jan 31, 2016 at 21:01 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 291 characters in body
|
| Jan 31, 2016 at 20:52 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 507 characters in body
|
| Jan 31, 2016 at 20:48 | comment | added | Michał Masny | Thank you for your answer! This Freezes program is definitely something I hoped to learn existed when I asked the question. | |
| Jan 31, 2016 at 20:39 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 106 characters in body
|
| Jan 31, 2016 at 20:30 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 1227 characters in body
|
| Jan 31, 2016 at 20:21 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 1227 characters in body
|
| Jan 31, 2016 at 20:15 | history | edited | post.as.a.guest | CC BY-SA 3.0 |
added 1227 characters in body
|
| Jan 31, 2016 at 20:04 | history | answered | post.as.a.guest | CC BY-SA 3.0 |