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

Mode	Name	Size
-rw-r--r--	README.md	13	log plain
-rw-r--r--	xnos.pdf	98531	log plain
-rw-r--r--	xnos.tla	1736	log plain

generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:16:57 +0000