This repository was archived by the owner on Feb 14, 2024. It is now read-only.

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
HopProtocol.cfg		HopProtocol.cfg
HopProtocol.pdf		HopProtocol.pdf
HopProtocol.tla		HopProtocol.tla
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Hop Specification

Hop Protocol specification in TLA+

This is a work-in-progress.

License

About

📜 WIP Hop Protocol TLA+ Specification

github.com/hop-protocol/spec/

hop hop-protocol specification tla tla-plus tla-specification tlaplus wip wip-do-not-use

Custom properties

8 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages