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