Algebra Game

This is a game about basic abstract algebra based on the Lean4 Game Template. It is currently a work in progress. You can see the progress on Issues.

Info on how to run this game can be found here:

• Running a game locally