Towards Euler's polyhedron formula for mathlib
Working on formalizing Euler's polyhedron formula in Lean's mathlib.
Articles
Simons Institute: AI for Math
Thoughts on the Simons Institute's AI for Math program.
Leaning In 2025
Details about the Leaning In 2025 workshop.
Announcing Leaning In 2025
Leaning In returns in 2025! Join us for a workshop dedicated to Lean.
Decimal proposal polyfill
A polyfill for the TC39 decimal proposal.
Getting started with Lean 4
A beginner-friendly guide to getting started with Lean 4.
The decimals around us
Decimal numbers are everywhere in our daily lives.
Decimal arithmetic in Python
How to work with decimal numbers in Python using the decimal module.
Announcing decimal128: JavaScript implementation of Decimal128
I've made an NPM package that allows you to work with IEEE 754 Decimal128 values in your JavaScript programs. Time to start working with decimal numbers!
The binary floats let us down
Why binary floating-point numbers can be problematic.
Use cases for decimals in JavaScript
Real-world scenarios where decimal arithmetic matters.
Announcing Racketfest 2023
Racketfest returns! Join us for a celebration of Racket.
FAQ on decimal arithmetic
Frequently asked questions about decimal arithmetic in JavaScript.
QuickJS already supports arbitrary-precision decimals
QuickJS is a JavaScript engine that supports arbitrary-precision decimals. Here's how to play around with them.
Here's how to unbreak floating-point math in JavaScript
Solutions for fixing floating-point arithmetic issues in JavaScript.