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

Update landing_page.tsx

Browse Source
This commit is contained in:
Pietro Monticone
2023-10-26 17:24:49 +02:00
parent 3416b32ddc
commit 9b8e84cc9c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/landing_page.tsx
+1 -1
View File
@@ -164,7 +164,7 @@ Dieses Spiel führt die Grundlagen zur Beweisführung in Lean ein und schneidet
a template. a template.
</p> </p>
<p> <p>
There is an option to load and run your own games direclty on the server, There is an option to load and run your own games directly on the server,
instructions are in the NNG repo. Since this is still in development we'd like to instructions are in the NNG repo. Since this is still in development we'd like to
encourage you to contact us for support creating your own game. The documentation is encourage you to contact us for support creating your own game. The documentation is
not polished yet. not polished yet.