summaryrefslogtreecommitdiff
path: root/tests/lean/lakefile.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix issuesSon Ho2023-08-031-0/+1
* Start using namespaces in the Lean backendSon Ho2023-07-051-12/+9
* Regenerate the Lean test filesSon Ho2023-07-041-0/+8
* Reorganize the Lean testsSon Ho2023-07-041-0/+14