scratch
§
Theorem Coverage as an Analogue to Code Coverage
created 2021-12-28 · last edited 2022-05-30
Theorem coverage: how many lines of code are covered by correctness theorems?
❦