summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/CoreConvertNum.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix more issuesSon Ho2024-06-131-0/+1
* Revert "Update CoreConvertNum.lean"Son Ho2024-06-121-22/+22
* Update CoreConvertNum.leanSon Ho2024-06-121-22/+22
* Add more definitions to the Lean librarySon Ho2024-04-121-0/+14
* Reorganize the files in the Lean backend a bitSon Ho2024-04-121-0/+263