Solving (some) formal math olympiad problems
valid
- Valid from
- 2022-02-02
- Valid until
- still holds
- Published
- 2022-02-02
- Recorded by AsOf
- 2026-10-27
- Checked
- 2026-10-29 · the publisher's own feed
- Confidence
- 0.50
Sources
/claim/clm_42510F8980A2.md/v1/claims/clm_42510F8980A2timelinesubmit a correction