phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
main
check_upload_size
add_game_knights
server_capacity
stats
dev
bump_v4.8.0
v4.6.0-bump
wasm2
joneugster-patch-1-1
joneugster-patch-1
v4.5.0-bump
nowatchdog
mobile-option
cleanup_stuff
world_overviews
wasm
better-timeout
ubuntu-test
v4.1.0
v4.2.0
v4.3.0
v4.3.0-rc2
v4.4.0
v4.4.0-rc1
v4.5.0
v4.6.0
v4.6.1
v4.7.0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'd3fbfaa548'
${ noResults }
lean4game/README.md

750 B
Raw Blame History

Lean 4 Game

This is a prototype for a Lean 4 game platform. It is based on ideas from the Lean Game Maker and the Natural Number Game (NNG) of Kevin Buzzard and Mohammad Pedramfar. The project is currently mostly copied from Patrick Massot's NNG4, but we plan to extend it significantly.

Building this requires a npm toolchain. After cloning the repository you should run npm install to pull in all dependencies. For development and experimentation, you can run npm start that will perform a non-optimized build and then run a local webserver on port 3000.