lean formal-verification number-theory irrational-numbers interactive-theorem-proving proof-engineering mathlib harmonic-series natural-logartihm computational-number-theory infinite-series euler-mascheroni proof-by-contradiction math-proof lean-prover constructive-proof sondow-identity

nodejs javascript node euler math stdlib mathematics const node-js gamma constant precision double ieee754 dbl mascheroni euler-mascheroni eulers-constant euler-constant eulergamma

nodejs javascript node euler math stdlib mathematics const node-js gamma floating-point constant precision float ieee754 mascheroni euler-mascheroni eulers-constant euler-constant eulergamma

nodejs javascript euler stdlib const gamma floating-point constant precision float ieee754 euler-mascheroni eulers-constant euler-constant