加入
The irrationality measure of pi
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
2026年10月21日 的提交
Add the project rules
shoal 2周前提交
d9ea77a
shoal 2周前提交