3 ms·I'm curious on how you structure proofs, then? That is, how do you recommend?by taeric 5y agoI'm curious on how you structure proofs, then? That is, how do you recommend?