4 ms·This looks nice. It's always good to see formal proofs!by lkurusa 8y agoThis looks nice. It's always good to see formal proofs!