summaryrefslogtreecommitdiff
path: root/backends/lean/Base.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-22Improve `scalar_tac` and `scalar_decr_tac` (#256)Son HO1-4/+5
2023-07-17Update the lean dependencies and update IListSon Ho1-0/+1
2023-07-10Start working on the progress tacticSon Ho1-0/+2
2023-07-04Reorganize the Lean testsSon Ho1-1/+0
2023-06-21Start working on Arith.leanSon Ho1-0/+1
2023-06-18Make minor modificationsSon Ho1-0/+1
2023-06-09Start working on extrinsic proofs of terminationSon Ho1-0/+1
2023-06-09Reorganize a bit the Lean librarySon Ho1-0/+1