Targets
1 of 16 openOpen obligations, ranked by dependents.
| deps | # | obligation | verifier | lease | active | packet |
|---|---|---|---|---|---|---|
| 1 | #993 | the general Alavi-Erdos unimodality conjecture is open. | lean pinned-python attested | open | 3d | { } |
Open obligations, ranked by dependents.
| deps | # | obligation | verifier | lease | active | packet |
|---|---|---|---|---|---|---|
| 1 | #993 | the general Alavi-Erdos unimodality conjecture is open. | lean pinned-python attested | open | 3d | { } |
Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.