summaryrefslogtreecommitdiff
path: root/backends/lean/Base/IList (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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