GitHub repository: kbuzzard/NNG4
Primary language: Lean
Description: Natural Number Game