summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Scalar.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make progress on the hashmap propertiesSon Ho2023-07-251-1/+2
|
* Improve int_tac and scalar_tacSon Ho2023-07-251-3/+3
|
* Reorganize the Lean backendSon Ho2023-07-171-0/+48