summaryrefslogtreecommitdiff
path: root/tests/lean/Traits.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Generate the Traits test files for LeanSon Ho2023-10-061-0/+1