summaryrefslogtreecommitdiff
path: root/tests/lean/Loops (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-12Make the `by inlit` implicitSon Ho1-73/+67
2023-07-06Improve the generated commentsSon Ho1-152/+148
2023-07-05Simplify the names used in Primitives.leanSon Ho1-6/+6
2023-07-05Simplify the generated names for the types in LeanSon Ho2-183/+178
2023-07-05Start using namespaces in the Lean backendSon Ho2-6/+4
2023-07-04Regenerate the Lean test filesSon Ho2-41/+47
2023-07-04Reorganize the Lean testsSon Ho2-0/+634