summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-17Start proving theorems for primitive definitionsSon Ho2-33/+57
2023-07-17Reorganize the Lean backendSon Ho3-0/+750