Published October 28, 2026
| Version v1
Preprint
Open
A Continued Fraction for $\frac{2}{\pi}$
Description
We present a continued fraction for $\frac{2}{\pi}$ .
Files
PiFraction.pdf
Additional details
Identifiers
Related works
- Is identical to
- Preprint: 10.13140/RG.2.2.22248.53767/1 (DOI)
Dates
- Issued
-
2026-10-28
- Created
-
2026-06-10
Software
- Repository URL
- https://gist.github.com/formalista/c40e254df32d9ebb8b44926324cd1bbe
- Programming language
- Lean
- Development Status
- Active