aeneas/tests/lean/Makefile, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Reorganize the Lean tests2023-07-04T12:57:51+00:00Son Ho2023-07-04T12:57:51+00:0087d6f6c7c90bf7b427397d6bd2e2c70d610678e3
Update the extraction of Lean files2023-06-04T19:44:33+00:00Son Ho2023-03-07T16:49:03+00:004db56fe2c963a4052f8415b3985c8765407fccbc