summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make minor modificationsSon Ho2023-06-181-3/+2
* Make minor modificationsSon Ho2023-06-141-0/+1
* Start working on extrinsic proofs of terminationSon Ho2023-06-091-7/+22
* Reorganize a bit the Lean librarySon Ho2023-06-091-0/+650