phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Jon Eugster
2022-12-06 19:38:10 +01:00
committed by GitHub
parent 87f943a08c
commit 8de1eea548
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+3 -1
View File
@@ -8,6 +8,8 @@ The project is currently mostly copied from Patrick Massot's [NNG4](https://gith
Building this requires a [npm](https://www.npmjs.com/) 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.
### Progress
This is a work in progress. In the future there are plans to host a server managing different public learning games for Lean4, but for now the target is to provide the first games (in German and eventually English) by April 2023.
## NPM Scripts
@@ -23,4 +25,4 @@ On the server side, the command will set up a docker image containing the Lean s
## 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 in a Docker container
secured by [gVisor](https://gvisor.dev/).
secured by [gVisor](https://gvisor.dev/).