summaryrefslogtreecommitdiff
path: root/tests/lean/External/FunsExternal.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-11Update a Lean fileSon Ho1-1/+1
2023-12-23Fix a minor issue in the Lean testsSon Ho1-14/+3
2023-07-06Improve the generated commentsSon Ho1-3/+3
2023-07-05Start using namespaces in the Lean backendSon Ho1-0/+33