Opened this issue 9 months ago · 0 comments
Make an actual FLT repo, and add a link to it in Game.lean.
Game.lean