aeneas/backends/lean/lean-toolchain, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Bump Lean to v4.9.0rc3 (#261)2024-06-25T08:34:24+00:00Son HO2024-06-25T08:34:24+00:0059ee1eb89d7c1018858250832ff1a92af0cbeab6
Start updating Lean to 4.9.0-rc22024-06-14T11:55:30+00:00Son Ho2024-06-14T11:55:30+00:00e3bde786750009becf4f828370f2e0d242ccf39d
Update Lean to v4.9.0-rc12024-06-13T20:04:13+00:00Son Ho2024-06-13T20:04:13+00:00b3dd78ff4c8785b6ff9bce9927df90f8c78a9109
Update the lean toolchain and fix the proofs2024-04-05T12:04:25+00:00Son Ho2024-04-05T12:04:25+00:0065a77968d0abc2d01da92aa8982256855e7519a6
backend(/tests)/lean: 4.6.0-rc1 → 4.6.12024-03-25T11:19:22+00:00Ryan Lahfa2024-03-25T11:19:00+00:0072e517ef2d469efd73513ed094e4f4c3954e1a95
4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
Update lean to v4.6.0-rc1 and start fixing the proofs2024-02-02T19:48:26+00:00Son Ho2024-02-02T19:48:26+00:00a68c231db4edf97c4f007724969aec7dd60941a1
Update to Lean 4.0.0 and fix some broken proofs2023-09-14T05:07:44+00:00Son Ho2023-09-14T05:07:44+00:000504acdaee98f28dfd08c5652b39c201c252d1be
Update the lean dependencies and update IList2023-07-17T10:12:34+00:00Son Ho2023-07-17T10:12:34+00:004f7ebc2358d78d31d63a609a32e5a732b82d468e
Reorganize the Lean tests2023-07-04T12:57:51+00:00Son Ho2023-07-04T12:57:51+00:0087d6f6c7c90bf7b427397d6bd2e2c70d610678e3
Start working on extrinsic proofs of termination2023-06-09T14:07:39+00:00Son Ho2023-06-09T14:07:39+00:00c034a7ea1335705ca1e1a7461fac257df6757d57