Kleddamag/11-squares-certified-bound
Reproducible computer-assisted proof that s(11) > 31/8 = 3.875, with exact certificate and checkers.
Python
1 contributors
MIT License
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
Data is not available yet
Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available