Press n or j to go to the next uncovered block, b, p or k for the previous block.
| File | Statements | Branches | Functions | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| CitationBadge.tsx |
|
0% | 0/112 | 0% | 0/1 | 0% | 0/1 | 0% | 0/112 |
| FactRow.tsx |
|
0% | 0/155 | 0% | 0/1 | 0% | 0/1 | 0% | 0/155 |
| GuidedProofPanel.tsx |
|
0% | 0/871 | 0% | 0/1 | 0% | 0/1 | 0% | 0/871 |
| ProofInstruction.tsx |
|
0% | 0/42 | 0% | 0/1 | 0% | 0/1 | 0% | 0/42 |
| StepCitation.tsx |
|
0% | 0/131 | 0% | 0/1 | 0% | 0/1 | 0% | 0/131 |
| StepIndicator.tsx |
|
0% | 0/88 | 0% | 0/1 | 0% | 0/1 | 0% | 0/88 |
| citationOrdinals.ts |
|
0% | 0/48 | 0% | 0/1 | 0% | 0/1 | 0% | 0/48 |
| index.ts |
|
0% | 0/16 | 0% | 0/1 | 0% | 0/1 | 0% | 0/16 |
| styles.ts |
|
0% | 0/81 | 0% | 0/1 | 0% | 0/1 | 0% | 0/81 |