Fork di lean4game del PHC per la settimana matematica del 2025
https://lean4game.phc.dm.unipi.it/
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.
cc89e78e4c
|
2 years ago | |
|---|---|---|
| .github/workflows | 3 years ago | |
| .vscode | 4 years ago | |
| client | 3 years ago | |
| doc | 2 years ago | |
| relay | 2 years ago | |
| server | 2 years ago | |
| .gitignore | 3 years ago | |
| LICENSE | 3 years ago | |
| NOTES.md | 3 years ago | |
| NOTES_SUBDOMAIN.md | 4 years ago | |
| README.md | 3 years ago | |
| ecosystem.config.cjs | 3 years ago | |
| env.d.ts | 3 years ago | |
| index.html | 3 years ago | |
| package-lock.json | 3 years ago | |
| package.json | 3 years ago | |
| tsconfig.json | 3 years ago | |
| vite.config.ts | 3 years ago | |
README.md
Lean 4 Game
This is the source code for a Lean game platform hosted at adam.math.hhu.de.
Creating a Game
Please follow the tutorial Creating a Game. In particular, the following steps might be of interest:
- Step 5: How to Run Games Locally
- Step 7: How to Update an existing Game
- Step 8: How to Publishing a Game
Documentation
The documentation is very much work in progress but the linked documentation here should be up-to-date:
Game creation API
- Creating a Game: the main document to consult.
- More about Hints: describes the
HintandBranchtactic.
Frontend API
- How to Run Games Locally: play a game on your computer
- How to Update an existing Game: update to a new lean version
- How to Publishing a Game: load your game to adam.math.hhu.de for others to play
Backend
not fully written yet.
- Server: describes the server part (i.e. the content of
server/undrelay/).
Contributing
Contributions to lean4game are always welcome!
Security
Providing the use access to a Lean instance running on the server is a severe security risk. That is why we start the Lean server with bubblewrap.
Credits
The project has pimarily been developed by Alexander Bentkamp and Jon Eugster.
It is based on ideas from the Lean Game Maker and the Natural Number Game (NNG) by Kevin Buzzard and Mohammad Pedramfar, and on Patrick Massot's prototype: NNG4.