NNG4
This is a work-in-progress attempt to make https://github.com/leanprover-community/lean4game support games from foreign github repos. As of nown, you should probably look at the above repo instead, it contains a version of the NNG.
This is a work-in-progress attempt to make https://github.com/leanprover-community/lean4game support games from foreign github repos. As of nown, you should probably look at the above repo instead, it contains a version of the NNG.