GitHub repository: GavinJin0501/Connect-Four-Modeling
Primary language: GLSL
Created: 2024-02-17T19:36:22Z
Description: Modeling the chess game "connect four" using formal method