/natural-number-game-kr

The Natural Number Game translated into Korean by the Semmalgil team. Build the natural numbers in Lean.

Primary LanguageLeanApache License 2.0Apache-2.0

Watchers

No one’s watching this repository yet.