aeneas/backends/lean/.gitignore, branch isabelle aeneas rust verifier with a hacky Isabelle backend Update the .gitignore files 2024-02-02T22:34:10+00:00 Son Ho 2024-02-02T22:34:10+00:00 53aad0bc77a5c3aac5482030f6b5e3dcff1f9f65 






Add backends/lean/lakefile.lean
2023-06-04T19:44:33+00:00

Son Ho

2023-03-08T18:04:33+00:00

0b86c9a2b0fcf3a30717d4abf94efad011a7c692