*> needing to prepare a new TLA+ workshop from scratch,* I didn't attend your wo...

		munificent on Sept 28, 2022 \| parent \| context \| favorite \| on: Learn TLA+ > needing to prepare a new TLA+ workshop from scratch, I didn't attend your workshop at Strange Loop but I talked to a few people that did and all of them had good things to say about it.