aeneas/backends/hol4, branch isabelle aeneas rust verifier with a hacky Isabelle backend Fix some issues 2023-09-07T14:02:43+00:00 Son Ho 2023-09-07T14:02:43+00:00 1181aecddbcb3232c21b191fbde59c2e9596846a 






Add IList.lean
2023-07-13T12:00:11+00:00

Son Ho

2023-07-13T12:00:11+00:00

2dbd529b499c2bb9dae754df0e449cad577ac7a0












Add a comment
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T15:26:08+00:00

53adf30fe440eb8b6f58ba89f4a4c0acc7877498












Update the HOL4 proofs for the last *release* version of HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T15:23:29+00:00

dc46dbb9a01329c39673fedc195006745c365030












Start setting up the Nix derivation for HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T14:10:20+00:00

54afbf3a8b71ee729641ee3024d19aaf8fa92a67












Simplify a proof
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T09:24:23+00:00

435d75174a12a47da84537cc7c9730a0eccf6d1f












Remove some obsolete files from the HOL4 backend
2023-06-04T19:54:38+00:00

Son Ho

2023-06-02T09:24:10+00:00

61566b9739ca01bee87daf508a3afc2a4c0c21c6












Finish the proofs of the hashmap
2023-06-04T19:54:38+00:00

Son Ho

2023-06-01T21:19:27+00:00

e0a0d5c18c8874c72f0cf1fce551a9fed243c03e












Make progress on the proofs of the hash map
2023-06-04T19:54:38+00:00

Son Ho

2023-05-31T08:56:20+00:00

14a6149ccae22de6581e68f0fe6f5b7434235d6c












Make good progress on the proofs of the hashmap in HOL4
2023-06-04T19:54:38+00:00

Son Ho

2023-05-26T15:28:15+00:00

446bbc0bdbb4a03d78636ec71f85e13e66b61e08