saundersp/scripts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pull.sh : Added lean4 games realanalysisgame, reintroductiontoproofs and linearalgebragame

Browse Source
This commit is contained in:
saundersp
2026-01-27 18:35:40 +01:00
parent 9b9ef5e5a9
commit a39c279d80
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pull.sh
View File

@@ -29,8 +29,11 @@ for directory in ../*; do
log_git_pull "$directory"
done
log_git_pull "$HOME"/git/lean4game/games/alexkontorovich/realanalysisgame
log_git_pull "$HOME"/git/lean4game/games/djvelleman/stg4
log_git_pull "$HOME"/git/lean4game/games/emilyriehl/reintroductiontoproofs
log_git_pull "$HOME"/git/lean4game/games/hhu-adam/robo
log_git_pull "$HOME"/git/lean4game/games/jadabouhawili/knightsandknaves-lean4game
log_git_pull "$HOME"/git/lean4game/games/leanprover-community/nng4
log_git_pull "$HOME"/git/lean4game/games/trequetrum/lean4game-logic
log_git_pull "$HOME"/git/lean4game/games/zrtmrh/linearalgebragame