greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
13 Commits 1 Branch 0 Tags
70ba2cae73f7832f6141e35174a01fbfa47dadc2
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Jon Eugster 70ba2cae73 correct def of Mul
2023-04-26 00:48:50 +02:00
.github/workflows
modify github workflow
2023-04-25 19:21:12 +02:00
.vscode
add vscode settings
2023-04-26 00:48:50 +02:00
NNG
correct def of Mul
2023-04-26 00:48:50 +02:00
.gitignore
initial commit
2023-04-25 18:37:27 +02:00
lake-manifest.json
update lakefile
2023-04-25 18:58:28 +02:00
lakefile.lean
update lakefile
2023-04-25 18:58:28 +02:00
lean-toolchain
initial commit
2023-04-25 18:37:27 +02:00
NNG.lean
initial commit
2023-04-25 18:37:27 +02:00
README.md
Update README.md
2023-04-26 00:35:33 +02:00

README.md

NNG4

This is the lean4 version of the classical Natural Number Game by Kevin Buzzard. It uses the Lean4 Game Engine and is running live at adam.math.hhu.de.

Contributions are welcome, documentation and game engine are just still in development.

Reference in New Issue View Git Blame Copy Permalink
Description
Lean natural number game
Readme 1.7 MiB
Languages
Lean 95.8%
Nix 3%
Dockerfile 1.2%