aeneas/backends/lean/lean-toolchain, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/backends/lean/lean-toolchain?h=isabelle 2024-06-25T08:34:24Z Bump Lean to v4.9.0rc3 (#261) 2024-06-25T08:34:24Z Son HO 2024-06-25T08:34:24Z urn:sha1:59ee1eb89d7c1018858250832ff1a92af0cbeab6 Start updating Lean to 4.9.0-rc2 2024-06-14T11:55:30Z Son Ho 2024-06-14T11:55:30Z urn:sha1:e3bde786750009becf4f828370f2e0d242ccf39d Update Lean to v4.9.0-rc1 2024-06-13T20:04:13Z Son Ho 2024-06-13T20:04:13Z urn:sha1:b3dd78ff4c8785b6ff9bce9927df90f8c78a9109 Update the lean toolchain and fix the proofs 2024-04-05T12:04:25Z Son Ho 2024-04-05T12:04:25Z urn:sha1:65a77968d0abc2d01da92aa8982256855e7519a6 backend(/tests)/lean: 4.6.0-rc1 → 4.6.1 2024-03-25T11:19:22Z Ryan Lahfa 2024-03-25T11:19:00Z urn:sha1:72e517ef2d469efd73513ed094e4f4c3954e1a95 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 proofs 2024-02-02T19:48:26Z Son Ho 2024-02-02T19:48:26Z urn:sha1:a68c231db4edf97c4f007724969aec7dd60941a1 Update to Lean 4.0.0 and fix some broken proofs 2023-09-14T05:07:44Z Son Ho 2023-09-14T05:07:44Z urn:sha1:0504acdaee98f28dfd08c5652b39c201c252d1be Update the lean dependencies and update IList 2023-07-17T10:12:34Z Son Ho 2023-07-17T10:12:34Z urn:sha1:4f7ebc2358d78d31d63a609a32e5a732b82d468e Reorganize the Lean tests 2023-07-04T12:57:51Z Son Ho 2023-07-04T12:57:51Z urn:sha1:87d6f6c7c90bf7b427397d6bd2e2c70d610678e3 Start working on extrinsic proofs of termination 2023-06-09T14:07:39Z Son Ho 2023-06-09T14:07:39Z urn:sha1:c034a7ea1335705ca1e1a7461fac257df6757d57