Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Formally Verifiable tic-tac-toe in Bash | Dark Hacker News
Formally Verifiable tic-tac-toe in Bash
(github.com)
1 points
by
orksliver
5 years ago
orksliver
5 years ago
|
next
[−]
Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)