summaryrefslogtreecommitdiff
path: root/backends/lean/Base/IList/IList.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start adding support for Arrays/Slices in the Lean librarySon Ho2023-08-041-9/+229
* Make progress on the proofs of the hashmapSon Ho2023-07-251-0/+41
* Improve int_tac and scalar_tacSon Ho2023-07-251-8/+4
* Improve progress further and move some lemmasSon Ho2023-07-201-0/+67
* Start proving theorems for primitive definitionsSon Ho2023-07-171-14/+52
* Reorganize the Lean backendSon Ho2023-07-171-0/+142