GitHub repository: nalbam/tic-tac-toe-workshop-hol
Description: guide document of tic-tac-toe-workshop