A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
Primary LanguageTLAMIT LicenseMIT