Probably good to think about having proofs in the longer term though. _Originally posted by @RobinJadoul in https://github.com/yetanotherco/lambda_vm/pull/479#discussion_r3057238754_
Probably good to think about having proofs in the longer term though.
Originally posted by @RobinJadoul in #479 (comment)