Skip to content

Latest commit

 

History

History
8 lines (5 loc) · 356 Bytes

README.md

File metadata and controls

8 lines (5 loc) · 356 Bytes

rutschblock

noun

A wide block of snow that is isolated from the rest of a slope and progressively loaded in order to judge stability and the risk of avalanche.

A TLA+ implementation of the Avalanche Consensus Protocol Family, both for learning Avalanche and TLA+