GitHub repository: JesseBusman/NNG4_Solutions
Primary language: Lean
Created: 2024-02-16T23:42:40Z
Description: My solutions to the Lean 4 Natural Number Game