summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/ArraySlice.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the handling of notations like #u32 or #isizeSon Ho2024-03-081-1/+1
|
* Fix more proofsSon Ho2024-02-021-1/+1
|
* Fix minor issuesSon Ho2023-12-221-0/+42
|
* Update the Lean standard librarySon Ho2023-12-221-57/+11
|
* Update more namesSon Ho2023-11-211-16/+16
|
* Update the standard librariesSon Ho2023-11-211-20/+19
|
* Make progress on fixing the extractionSon Ho2023-10-261-64/+64
|
* Make progress on fixing the extraction for LeanSon Ho2023-10-261-114/+50
|
* Make the hashmap files typecheck again in LeanSon Ho2023-10-251-2/+59
|
* Fix some issues at extraction and add builtinsSon Ho2023-10-251-0/+560