JavaScript double precision library.
-
Updated
Feb 26, 2026 - HTML
#
irrationality
Here are 3 public repositories matching this topic...
Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.
graph-theory formal-verification interactive-theorem-proving irrationality mathlib zulip-bot chromatic-number de-bruijn lean4 2pi formal-proof k-colorability toroidal-topology hadwiger-nelson-problem moser-spindle unit-distance-graph pigeonhole-principle proof-by-exclusion
-
Updated
May 14, 2026 - Lean
Developers seem to be irrationally afraid of CSS, somehow. This repository shows them they do not need to be.
-
Updated
Jun 6, 2017 - HTML
Improve this page
Add a description, image, and links to the irrationality topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the irrationality topic, visit your repo's landing page and select "manage topics."