search

tlaplus / patterns

MIT License
7 stars 0 forks source link

Add CCF!Network #1

Open lemmy opened 8 months ago

lemmy commented 8 months ago

Extract and add https://github.com/microsoft/CCF/blob/main/tla/consensus/Network.tla

lemmy commented 8 months ago

@Vanlightly @ahelwer Is this a module to get the discussion/repo started?