§
Theorem coverage as an analogue to code coverage
Theorem coverage: how many lines of code are covered by correctness theorems?