Formally Verifiable tic-tac-toe in Bash

Posted by orksliver on Saturday May 22, 2021 @12:39PM
from the github.com dept.

( 1 comment | on HN )

Re:Formally Verifiable tic-tac-toe in Bash by orksliver on Saturday May 22, 2021 @12:39PM (#27248141)

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

[ Parent | on HN ]