summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Base.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-22Fix the models for core::mem::replaceSon Ho1-1/+1
2023-12-22Update the Lean standard librarySon Ho1-2/+1
2023-10-25Fix some issues at extraction and add builtinsSon Ho1-0/+7
2023-10-24Handle properly the builtin, non fallible functionsSon Ho1-2/+2
2023-10-24Fix minor issuesSon Ho1-2/+2
2023-07-25Make progress on the proofs of the hashmapSon Ho1-1/+1
2023-07-17Reorganize the Lean backendSon Ho1-0/+130