/tla-spec

📜 WIP Hop Protocol TLA+ Specification

Primary LanguageTLAMIT LicenseMIT

Hop Specification

Hop Protocol specification in TLA+

This is a work-in-progress.

License

MIT