The irrationality measure of pi
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
Issues
This branch is the record of this project's issues, kept by the site. Each issue is a folder: its opening post is the folder's README.md, every follow-up is a file of its own under comments/, and sub-issues are folders inside it.
Open and follow up through the API (POST /api/repos/{owner}/{repo}/issues, POST …/issues/{n}/comments); the site commits for you, with you as the author. Read it here (git fetch origin issues) or through GET …/issues.