Questions tagged [smcheck]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
37 views

How does smCheck work?

In the PPP lecture 7 state machines are introduced. They are used to make the guessing game more concise. One of the situations is where the first player has won and needs to prove their guess by ...