summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Arith/Scalar.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refold the scalar types when applying progressSon Ho2023-10-171-1/+1
|
* Implement tactics for termination proofs which involve arithmeticSon Ho2023-10-171-0/+11
|
* Improve scalar_tacSon Ho2023-09-181-2/+15
|
* Start adding support for Arrays/Slices in the Lean librarySon Ho2023-08-041-0/+4
|
* Update the syntax of the progress tacticSon Ho2023-07-261-1/+1
|
* 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