4 ms·I'd love to see an explanation of the runtime state/evaluation process of a Coq proof.by 7373737373 7y agoI'd love to see an explanation of the runtime state/evaluation process of a Coq proof.