Timeline for On the correspondence between proof nets and sequents
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 4, 2022 at 1:03 | answer | added | Lê Thành Dũng 'Tito' Nguyễn | timeline score: 1 | |
| May 12, 2022 at 9:05 | history | edited | Max Demirdilek |
edited tags
|
|
| May 9, 2022 at 6:02 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
added 1 character in body
|
| May 8, 2022 at 15:36 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
added 1 character in body
|
| May 8, 2022 at 12:29 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
edited title
|
| May 8, 2022 at 11:28 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
edited title
|
| May 8, 2022 at 10:31 | history | undeleted | Max Demirdilek | ||
| May 8, 2022 at 10:26 | history | deleted | Max Demirdilek | via Vote | |
| May 8, 2022 at 10:24 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
added 29 characters in body
|
| May 8, 2022 at 10:18 | history | edited | Max Demirdilek | CC BY-SA 4.0 |
added 29 characters in body
|
| May 8, 2022 at 10:12 | history | asked | Max Demirdilek | CC BY-SA 4.0 |