Timeline for Can a proof engine be built based on graphs?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2022 at 19:57 | vote | accept | Guy Coder | ||
| Mar 1, 2022 at 12:33 | history | edited | Guy Coder |
edited tags
|
|
| Mar 1, 2022 at 12:29 | comment | added | Guy Coder | Of interest: Giorgi Japaridze Research | |
| Mar 1, 2022 at 12:27 | comment | added | Guy Coder | Of interest: Cirquent Calculus in a Nutshell (pdf - preprint) by Giorgi Japaridze | |
| Mar 1, 2022 at 11:42 | comment | added | Rob | Something like: en.wikipedia.org/wiki/Cirquent_calculus or arxiv.org/abs/1007.0725 ? | |
| Feb 28, 2022 at 21:18 | history | edited | Guy Coder | CC BY-SA 4.0 |
added 17 characters in body
|
| Feb 28, 2022 at 21:11 | history | edited | Guy Coder | CC BY-SA 4.0 |
Add keywords section
|
| Feb 28, 2022 at 18:17 | answer | added | Alex Nelson | timeline score: 5 | |
| Feb 28, 2022 at 17:10 | comment | added | James Martin | Perhaps you're looking for proof nets? I don't know enough about them to write up an answer, though. | |
| Feb 28, 2022 at 11:01 | history | edited | Guy Coder | CC BY-SA 4.0 |
Add reference to one of the better papers I found before asking.
|
| Feb 28, 2022 at 10:27 | answer | added | Pierre-Marie Pédrot | timeline score: 9 | |
| Feb 28, 2022 at 10:14 | history | asked | Guy Coder | CC BY-SA 4.0 |