Lean4 Work

I have done some basic work in Lean4, the open-source proof assistant.

GitHub Repository

Readme Card

👉 View the full repository on GitHub

Natural Number Game

The Natural Number Game is a fun introduction to the formalization of mathematics in Lean4.

I’ve written a Substack article about the Natural Number Game.