summaryrefslogtreecommitdiff
path: root/tests/lean/lake-manifest.json (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the Lean dependenciesSon Ho2024-06-171-4/+4
* Update the testsSon Ho2024-06-141-3/+3
* Update the testsSon Ho2024-06-131-13/+13
* Update the lean toolchain and fix the proofsSon Ho2024-04-051-9/+9
* Start fixing the testsSon Ho2024-02-021-55/+73
* Fix the hashmap proofs in LeanSon Ho2023-09-141-14/+30
* Update the lean dependencies and update IListSon Ho2023-07-171-4/+4
* Make the `by inlit` implicitSon Ho2023-07-121-1/+7
* Simplify the names used in Primitives.leanSon Ho2023-07-051-1/+1
* Fix an issue with mkSigmasValSon Ho2023-07-041-1/+1
* Regenerate the Lean test filesSon Ho2023-07-041-1/+1
* Reorganize the Lean testsSon Ho2023-07-041-0/+34