jthickstun/lean

Some experiments with the Lean proof assistant

lean

Some experiments with the Lean proof assistant. The most interesting results are in numbers.lean.

This repository accompanies the essay available here.