[WIP/experiment] formal proofs with aeneas/hax#692

Oppen wants to merge 1 commit into

mainyetanotherco/lambda_vm:mainfrom

poc/formal_proofyetanotherco/lambda_vm:poc/formal_proofCopy head branch name to clipboard