summaryrefslogtreecommitdiff
path: root/backends/lean/Base.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Improve `scalar_tac` and `scalar_decr_tac` (#256)Son HO2024-06-221-4/+5
* Update the lean dependencies and update IListSon Ho2023-07-171-0/+1
* Start working on the progress tacticSon Ho2023-07-101-0/+2
* Reorganize the Lean testsSon Ho2023-07-041-1/+0
* Start working on Arith.leanSon Ho2023-06-211-0/+1
* Make minor modificationsSon Ho2023-06-181-0/+1
* Start working on extrinsic proofs of terminationSon Ho2023-06-091-0/+1
* Reorganize a bit the Lean librarySon Ho2023-06-091-0/+1