greg/LeanDoom
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Srayan Jana
2025-08-31 20:36:54 -07:00
committed by GitHub
parent 936a01a441
commit d17de69921
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -6,6 +6,10 @@ Simple real-time Doom-style raycasting engine in Lean4:
![Screenshot](screenshots/screenshot1.png) ![Screenshot](screenshots/screenshot1.png)
## Cloning
When you clone, MAKE SURE YOU RUN ``git submodule update --init --recursive`` IN THE ROOT OF THIS REPOSITORY JUST TO BE SAFE
## Run ## Run
This is just an experiment This is just an experiment