GitHub repository: leanprover-community/NNG4
Primary language: Lean
Description: Natural Number Game