Timeline for Make ChatGPT write formal proof from natural language proof
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 17, 2023 at 11:24 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 3 characters in body
|
| Mar 17, 2023 at 4:59 | vote | accept | domotorp | ||
| Mar 17, 2023 at 0:40 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 235 characters in body
|
| Mar 17, 2023 at 0:32 | history | answered | Jason Rute | CC BY-SA 4.0 |