Repository navigation
v2026.11.06
What's Changed
API changes
- Add 20 Erdős problems including part (iii) of problem 12 by @kingcharlezz in #191
Other changes
- Feat/torchlean source size limits by @sagitarim in #188
Full Changelog: v2026.11.05...v2026.11.06
Deployed commit 01457037017d3732685889ad9cee58d4d378fa6f, recorded by https://github.com/conjectures-io/conjectures-validator/actions/runs/42133402597
Contributors
kingcharlezz and sagitarim