2 ms·It's a big deal, you need about 1/3 of sel4 proofsby dnautics 5y agoIt's a big deal, you need about 1/3 of sel4 proofs