Default branch

main 437b439c6c · feat(p28): close exact Ramanujan 2.8 limit · Updated 2026-07-31 05:30:10 +00:00

ZIP  TAR.GZ

Branches

optional/ramanujan-p28-enhancements cd4ae757d9 · docs(p28): pin release checksums; mark branch state as superseded by the shipped package · Updated 2026-07-31 20:26:56 +00:00    allaun	0 11	Compare	ZIP  TAR.GZ
feat/p28-post-submission-hardening 39806d4423 · docs(p28): state the actual motivation -- the problem was used as an instrument · Updated 2026-07-31 09:33:26 +00:00    allaun	0 8	Compare	ZIP  TAR.GZ
feat/ramanujan-28-singular-closure 492c8ab871 · feat(p28): harden exact proof equations · Updated 2026-07-31 08:33:21 +00:00    allaun	0 1	Compare	ZIP  TAR.GZ