Oppermann's Conjecture
Exact formalization occurrence from the upstream source collection.
- Source category
- research open
- Formal proof
- Not retained
- Vela current state
- No Repository Result attached
Work on the upstream declaration
Formal Conjectures uses GitHub pull requests for source contributions and maintainer decisions. problems.science does not run its review bot or CI.