3 ms·
Fair point. I meant proofs about semantics, unless stated otherwise. So using tools like HOL and Coq. Can't edit the original comment anymore.
by staunton 3y ago
Fair point. I meant proofs about semantics, unless stated otherwise. So using tools like HOL and Coq. Can't edit the original comment anymore.