summaryrefslogtreecommitdiff
path: root/tests/lean/Loops.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-21Regenerate the filesSon Ho1-62/+124
2023-11-21Regenerate most of the test filesSon Ho1-9/+6
2023-11-09Modify some options and update the MakefileSon Ho1-1/+629
2023-07-04Reorganize the Lean testsSon Ho1-0/+0
2023-06-04Update the extraction of Lean filesSon Ho1-0/+1