Press n or j to go to the next uncovered block, b, p or k for the previous block.
| File | Statements | Branches | Functions | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| exportPropositionDef.ts |
|
0% | 0/283 | 0% | 0/1 | 0% | 0/1 | 0% | 0/283 |
| playgroundToProofJSON.ts |
|
0% | 0/200 | 0% | 0/1 | 0% | 0/1 | 0% | 0/200 |
| propositionReference.ts |
|
0% | 0/562 | 0% | 0/1 | 0% | 0/1 | 0% | 0/562 |