summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Base.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-08Update the generation of constant bodies for LeanSon Ho1-2/+2
2024-03-08Update the tuples notationsSon Ho1-51/+0
2024-03-07Add a notation for tuple field accesses in LeanSon Ho1-0/+51
2024-01-26Improve the Lean backendSon Ho1-0/+7
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