2 ms·Full top down proofs are rare but it’s more common at the module level.by slededit 8y agoFull top down proofs are rare but it’s more common at the module level.