§ Theorem coverage as an analogue to code coverage

• Theorem coverage: how many lines of code are covered by correctness theorems?