summaryrefslogtreecommitdiff
path: root/tests/lean/lake-manifest.json (follow)
Commit message (Collapse)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