aeneas/tests/hol4/misc-constants, branch isabelle aeneas rust verifier with a hacky Isabelle backend Rename some subdirectories for consistency 2024-05-24T15:03:28+00:00 Nadrieril 2024-05-24T15:01:16+00:00 3adbe18d36df3767e98f30b760ccd9c6ace640ad 






Regenerate the test files and fix a proof
2023-09-07T14:06:14+00:00

Son Ho

2023-09-07T14:06:14+00:00

ce8f5c8f67e41a74bfdf8f6d664ff4e45e9de850












Update the nix flake and regenerate the code
2023-08-09T08:01:32+00:00

Son Ho

2023-08-09T08:01:32+00:00

a2c4ffd56b6f1760374707f083f6c4347b116538












Improve the generated comments
2023-07-06T10:20:28+00:00

Son Ho

2023-07-06T10:20:28+00:00

7c95800cefc87fad894f8bf855cfc047e713b3a7












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












Add the generated HOL4 files
2023-06-04T19:54:38+00:00

Son Ho

2023-05-23T12:47:26+00:00

df03890491fc9c549376d26262b0be3707c00f59