summaryrefslogtreecommitdiff
path: root/tests/lean/External (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-05Start using namespaces in the Lean backendSon Ho6-38/+88
2023-07-04Regenerate the Lean test filesSon Ho4-5/+24
2023-07-04Reorganize the Lean testsSon Ho3-0/+127