Timeline for Tactics for Array/List simplification in lean4
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2022 at 19:35 | history | became hot network question | |||
| Dec 12, 2022 at 17:38 | vote | accept | Jeremy Salwen | ||
| Dec 12, 2022 at 17:18 | vote | accept | Jeremy Salwen | ||
| Dec 12, 2022 at 17:38 | |||||
| Dec 12, 2022 at 12:45 | answer | added | Jason Rute | timeline score: 4 | |
| Dec 12, 2022 at 5:24 | history | asked | Jeremy Salwen | CC BY-SA 4.0 |