summaryrefslogtreecommitdiff
path: root/tests/lean/lakefile.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add some demo filesSon Ho2024-02-091-0/+1
|
* Rename and regenerate some filesSon Ho2024-02-021-2/+2
|
* Make progress on fixing the testsSon Ho2024-02-021-13/+13
|
* Merge branch 'main' into son_traits and fix some issuesSon Ho2023-10-161-0/+1
|\
| * Start writing a tutorialSon Ho2023-09-181-0/+1
| |
* | Generate the Traits test files for LeanSon Ho2023-10-061-0/+1
|/
* 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