Timeline for Simplifying Array Access
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2023 at 20:20 | vote | accept | redjamjar | ||
| Oct 10, 2023 at 7:43 | answer | added | Arthur Adjedj | timeline score: 2 | |
| Oct 10, 2023 at 1:24 | answer | added | ice1000♦ | timeline score: 1 | |
| Oct 10, 2023 at 1:17 | comment | added | ice1000♦ | > The Lean type checker has no special support for reducing Arrays. from lean-lang.org/lean4/doc/array.html | |
| S Oct 10, 2023 at 0:08 | review | First questions | |||
| Oct 10, 2023 at 7:47 | |||||
| S Oct 10, 2023 at 0:08 | history | asked | redjamjar | CC BY-SA 4.0 |