Parsec: discussion about Liveness proof

2 Likes