summaryrefslogtreecommitdiff
path: root/tests/lean/External/FunsExternal.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix a minor issue in the Lean testsSon Ho2023-12-231-14/+3
* Improve the generated commentsSon Ho2023-07-061-3/+3
* Start using namespaces in the Lean backendSon Ho2023-07-051-0/+33