Results
1
comments of
GonVas
I've playing around with compiling quint into tla and then using tlc and I came across some issues (after un-primming the init operator): Compiling tictactoe.qnt found in the examples yields...