aeneas/tests/lean/hashmap_on_disk/Hashmap, branch isabelle aeneas rust verifier with a hacky Isabelle backend New directory structure and corresponding extraction, + misc fixes, for Lean 2023-06-04T19:44:33+00:00 Jonathan Protzenko 2023-01-25T21:12:01+00:00 e1ee59f6a45482e93901f6a549f594fd6ef15234 






Write a tactic to discharge integer literal proof obligations
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-01-24T02:43:45+00:00

dee74ca1f90acb076289286f6f69df65e63604ce












Add a sample test to illustrate potential project structure
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-01-24T02:18:33+00:00

262cb9d72593b349af522596cbae29dff03525ea