Coverage

The register gives the expected positions of each competition. These measures tell how many of them olymmath has, and how good the texts are.

C0 is the share of expected positions with a problem. C1 is the share with a canonical statement written by a person (class H1 or H2). C2 is the share with an official text. C3 is the share with a verified statement. C4 is the share with a human or official solution. C5 to C8 count graded solutions, checked answers, formal statements and formal proofs. olymmath does not record these yet, so they show a dash. When the register gives no positions for a competition, the problems that olymmath has are the expected positions, and C0 shows a dash.