Open bbengfort opened 6 years ago
Started working on this at the TLA+ workshop; although not strictly useful it will be important to showing properties of the HC system.
Started working on this at the TLA+ workshop; although not strictly useful it will be important to showing properties of the HC system.