summaryrefslogtreecommitdiff
path: root/tests/lean/External/FunsExternal.lean (follow)
Commit message (Collapse)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