1,340 followers
RT @BasspittersBs: It is indeed a great book. The style is very close to State Separating proofs (SSP). https://t.co/Y2SUpDXFSi Parallel in…
RT @BasspittersBs: It is indeed a great book. The style is very close to State Separating proofs (SSP). https://t.co/Y2SUpDXFSi Parallel in…
RT @BasspittersBs: It is indeed a great book. The style is very close to State Separating proofs (SSP). https://t.co/Y2SUpDXFSi Parallel in…
It is indeed a great book. The style is very close to State Separating proofs (SSP). https://t.co/Y2SUpDXFSi Parallel invention usually points to good ideas. SSP and the JoC book are well-suited for formalization https://t.co/CCsKVPrQ61