summaryrefslogtreecommitdiff
path: root/tests/lean/Traits.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-22Regenerate the test filesSon Ho1-42/+62
2023-11-21Regenerate the filesSon Ho1-17/+21
2023-11-21Regenerate the filesSon Ho1-73/+146
2023-11-21Regenerate the Traits filesSon Ho1-65/+67
2023-11-09Regenerate the testsSon Ho1-44/+17
2023-11-09Modify some options and update the MakefileSon Ho1-1/+410
2023-10-06Generate the Traits test files for LeanSon Ho1-0/+1