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

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.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/

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

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

TLA 100.0%