Index - C
| canSpawnBefore | App.Model |
| Change | App.Model |
| checkFreshness | Fitch.Verification |
| checkProof | App.Update |
| clearDrag | App.Update |
| CloseTooltip | App.Model |
| comma | Parser.Util |
| compareQCTests | ProofSyntax |
| conclusionKind | ProofSyntax |
| currentHoverLine | App.Model |
| currentTooltip | App.Model |