summaryrefslogtreecommitdiff
path: root/tests/lean/lake-manifest.json (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-17Update the Lean dependenciesSon Ho1-4/+4
2024-06-14Update the testsSon Ho1-3/+3
2024-06-13Update the testsSon Ho1-13/+13
2024-04-05Update the lean toolchain and fix the proofsSon Ho1-9/+9
2024-02-02Start fixing the testsSon Ho1-55/+73
2023-09-14Fix the hashmap proofs in LeanSon Ho1-14/+30
2023-07-17Update the lean dependencies and update IListSon Ho1-4/+4
2023-07-12Make the `by inlit` implicitSon Ho1-1/+7
2023-07-05Simplify the names used in Primitives.leanSon Ho1-1/+1
2023-07-04Fix an issue with mkSigmasValSon Ho1-1/+1
2023-07-04Regenerate the Lean test filesSon Ho1-1/+1
2023-07-04Reorganize the Lean testsSon Ho1-5/+12
2023-06-04Update the extraction of Lean filesSon Ho1-4/+4
2023-06-04WIPJonathan Protzenko1-0/+27