Implementation of generalized specification of TicTacToe in TLA+
Primary LanguageTeX
This repository is not active