Implementation of generalized specification of TicTacToe in TLA+
Primary LanguageTeX
No issues in this repository yet.