search

Trequetrum / lean4game-logic

Make/Encode some basic logic puzzles
MIT License
3 stars 7 forks source link

fix: build gameserver executable in github action #1

Closed joneugster closed 8 months ago