Simple 2D strategy game whom levels are autogenerated based on mathematical assertions - View it on GitHub