Rare find

natural_number_game. Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

github.com/ImperialCollegeLondon/natural_number_game
by @ImperialCollegeLondon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.