| .. |
|
Subarray
|
feat: show diffs when #guard_msgs fails (#3912)
|
2024-04-18 15:09:44 +00:00 |
|
Attach.lean
|
feat: Array/Option.unattach (#5586)
|
2024-10-03 07:29:00 +00:00 |
|
Basic.lean
|
perf: remove List.redLength (#5605)
|
2024-10-03 14:57:33 +00:00 |
|
BasicAux.lean
|
feat: refactor of Array (#5452)
|
2024-09-24 12:57:55 +00:00 |
|
BinSearch.lean
|
chore: remove [Inhabited A] from binSearch / binInsert
|
2022-11-13 15:00:26 -08:00 |
|
Bootstrap.lean
|
chore: cleanup of Array GetElem lemmas (#5534)
|
2024-09-30 05:42:53 +00:00 |
|
DecidableEq.lean
|
feat: refactor DecidableEq (Array α) (#5422)
|
2024-09-23 03:49:03 +00:00 |
|
GetLit.lean
|
chore: reorganization in Array/Basic (#5400)
|
2024-09-20 02:01:52 +00:00 |
|
InsertionSort.lean
|
feat: use sepBy1Indent for tactic blocks
|
2022-09-18 16:43:23 -07:00 |
|
Lemmas.lean
|
feat: Array/Option.unattach (#5586)
|
2024-10-03 07:29:00 +00:00 |
|
Mem.lean
|
chore: rename Array.data to Array.toList
|
2024-09-10 15:24:23 +10:00 |
|
QSort.lean
|
feat: upstream Array.qsortOrd (#5515)
|
2024-09-29 05:50:25 +00:00 |
|
Subarray.lean
|
chore: upstream Subarray.empty (#5516)
|
2024-09-29 05:53:12 +00:00 |
|
TakeDrop.lean
|
feat: improve Array GetElem lemmas (#5465)
|
2024-09-25 07:17:13 +00:00 |
