Lean 4 proofs of the irrationality of Li₂(r) at certain rational points r
Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.
AI-assisted research on e + pi: full proof attempts, scoped negative results, exact certificates, and community tasks. No accepted solution is claimed.
JavaScript double precision library.
Developers seem to be irrationally afraid of CSS, somehow. This repository shows them they do not need to be.
Hankel-determinant rational approximation experiments for irrationality search. Rust Ferguson pipeline, shared Lean 4 `lean-prove` library, and finite-index checkpoints.
Constructive pi for the Rocq constructive Cauchy reals — premise-free separation from every rational with extractable witnesses | 构造性π：逐有理数分离·见证可提取
To associate your repository with the irrationality topic, visit your repo's landing page and select "manage topics."