Bas Spitters
Results
223
comments of
Bas Spitters
Related https://github.com/cryspen/hax/issues/1093
The general issue is to have a Hax compliant hacspec library again. I believe we have another issue for that. In any case, that would still be useful.
The issue of compcert and ocaml5 is here: https://github.com/AbsInt/CompCert/issues/477