Timeline for proof of termination for zip in Lean
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 30, 2023 at 22:32 | vote | accept | Nate Glenn | ||
| Aug 30, 2023 at 18:59 | answer | added | Jason Rute | timeline score: 3 | |
| Aug 30, 2023 at 15:19 | history | became hot network question | |||
| Aug 30, 2023 at 10:05 | answer | added | Meven Lennon-Bertrand♦ | timeline score: 5 | |
| S Aug 30, 2023 at 7:19 | review | First questions | |||
| Aug 30, 2023 at 14:10 | |||||
| S Aug 30, 2023 at 7:19 | history | asked | Nate Glenn | CC BY-SA 4.0 |