Geeks
stevekane
/
TLA_TicTacToe
Implementation of generalized specification of TicTacToe in TLA+
Primary Language
TeX
TLA_TicTacToe GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
stevekane
4 South Studios