Formally Verifiable tic-tac-toe in Bash

1 points by orksliver 5 years ago

orksliver 5 years ago |

Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)

orksliver 5 years ago |

Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)