aeneas/backends/lean/.gitignore, branch isabelle
aeneas rust verifier with a hacky Isabelle backend
https://stuebinm.eu/git/aeneas/atom/backends/lean/.gitignore?h=isabelle
2024-02-02T22:34:10Z
Update the .gitignore files
2024-02-02T22:34:10Z
Son Ho
2024-02-02T22:34:10Z
urn:sha1:53aad0bc77a5c3aac5482030f6b5e3dcff1f9f65
Add backends/lean/lakefile.lean
2023-06-04T19:44:33Z
Son Ho
2023-03-08T18:04:33Z
urn:sha1:0b86c9a2b0fcf3a30717d4abf94efad011a7c692