The Covering Number
Prior state unknown→proved
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Design theory
The Covering Number
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
Recorded attempts
Evidence graph
Connected research record
- →The Covering Number
parent of · event · claim reported
- →closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
parent of · claim · theorem