README.md - tictactoeTLA+ - Tic-tac-toe specification in TLA+

index : tictactoeTLA+

Tic-tac-toe specification in TLA+

Aditya N. Naik

about summary refs log tree commit diff

path: root/README.md

blob: 95a77a6a0a5fdd8a3e3626236b588eaaedc5c9fc (plain)

1	`*** XnOs TLA`

generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:52:25 +0000