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

typo

Browse Source
This commit is contained in:
joneugster
2023-10-16 04:30:44 +02:00
parent d66546a7f1
commit 63a0d8d5f0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
DOCUMENTATION.md
+1 -1
View File
@@ -284,7 +284,7 @@ lake build
Clone the game repository into a directory next to the game: Clone the game repository into a directory next to the game:
```bash ```bash
cd .. cd ..
git clone hhttps://github.com/leanprover-community/lean4game.git git clone https://github.com/leanprover-community/lean4game.git
# or: git clone git@github.com:leanprover-community/lean4game.git # or: git clone git@github.com:leanprover-community/lean4game.git
``` ```
The folders `NNG4` and `lean4game` must be in the same directory! The folders `NNG4` and `lean4game` must be in the same directory!