summaryrefslogtreecommitdiff
path: root/tests/lean/Traits/Funs.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate part of the trait tests for LeanSon Ho2023-11-061-13/+22
* Generate the Traits test files for LeanSon Ho2023-10-061-0/+232