Timeline for Consistency proof in topos logic
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2021 at 21:39 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 252 characters in body
|
| Oct 23, 2021 at 19:35 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
deleted 626 characters in body
|
| Oct 22, 2021 at 0:56 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 96 characters in body
|
| Oct 22, 2021 at 0:50 | vote | accept | Paul Blain Levy | ||
| Oct 19, 2021 at 7:03 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 171 characters in body
|
| Oct 19, 2021 at 6:19 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 358 characters in body
|
| Oct 17, 2021 at 23:54 | history | became hot network question | |||
| Oct 17, 2021 at 20:08 | answer | added | Andrej Bauer | timeline score: 17 | |
| Oct 17, 2021 at 15:54 | history | asked | Paul Blain Levy | CC BY-SA 4.0 |