phc/lean4game

T

Alexander Bentkamp 3f2fe9072f fix github action

2022-10-19 14:30:25 +02:00

.github/workflows

fix github action

2022-10-19 14:30:25 +02:00

convert all files to typescript

2022-10-19 13:56:48 +02:00

json without line breaks

2022-10-19 09:40:30 +02:00

.gitignore

init

2022-10-17 15:12:26 +02:00

NOTES.md

notes on port 80

2022-10-18 17:26:21 +02:00

package-lock.json

update dependencies

2022-10-19 14:02:22 +02:00

package.json

start adding typescript

2022-10-19 11:58:49 +02:00

README.md

init

2022-10-17 15:12:26 +02:00

tsconfig.json

convert all files to typescript

2022-10-19 13:56:48 +02:00

webpack.config.js

make typescript compilation work

2022-10-19 13:23:20 +02:00

README.md

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.