/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

Stargazers

No one’s star this repository yet.