greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
23 Commits 1 Branch 0 Tags
405947d319ddf968e34aebd3c3787c6ac0ebc7f9
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Jon Eugster 405947d319 Update lakefile.lean
2023-04-28 15:40:56 +02:00
.github/workflows
Update build.yml
2023-04-28 15:39:35 +02:00
.vscode
add vscode settings
2023-04-26 00:48:50 +02:00
NNG
typo
2023-04-26 14:55:14 +02:00
.gitignore
initial commit
2023-04-25 18:37:27 +02:00
Dockerfile
Update Dockerfile
2023-04-28 15:34:53 +02:00
lakefile.lean
Update lakefile.lean
2023-04-28 15:40:56 +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%