#
2pi
Here are 11 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
🔢 Provide accurate float16 constants for ln(√(2π)), enhancing numerical computations in JavaScript and improving performance in scientific applications.
nodejs javascript log stdlib mathematics square const pi root constant precision natural logarithm ieee754 ln sqrt 2pi
-
Updated
Jun 16, 2026 - JavaScript
Improve this page
Add a description, image, and links to the 2pi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the 2pi topic, visit your repo's landing page and select "manage topics."