Kim Morrison
|
51377afd6c
|
feat: simp lemmas for Array.isEqv and beq (#5786)
- [ ] depends on: #5785
|
2024-10-21 07:37:40 +00:00 |
|
Kim Morrison
|
4f2c4c7bd1
|
chore: cleanup of Array GetElem lemmas (#5534)
|
2024-09-30 05:42:53 +00:00 |
|
Kim Morrison
|
e41e305479
|
chore: rename Array.data to Array.toList
|
2024-09-10 15:24:23 +10:00 |
|
Kim Morrison
|
f1b2850aa4
|
chore: split Init.Data.Array.Lemmas for better bootstrapping (#5255)
This allows significantly reducing the imports of `Init.Data.List.Impl`.
|
2024-09-04 08:33:13 +00:00 |
|