Repository navigation
v2026.11.06.2
What's Changed
Fixes
- Withdraw Erdos 21 and 111 from active admission by @kingcharlezz in #195
Full Changelog: v2026.11.06...v2026.11.06.2
Deployed commit cb366677029a28c315feb10706a6bcd7afa04e4d, recorded by https://github.com/conjectures-io/conjectures-validator/actions/runs/42145936966