Giters

hop-protocol / tla-spec

📜 WIP Hop Protocol TLA+ Specification

Home Page:https://github.com/hop-protocol/spec/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hophop-protocolspecificationtlatlaplustla-specificationtla-pluswipwip-do-not-use

Hop Specification

Hop Protocol specification in TLA+

This is a work-in-progress.

License

MIT

About

📜 WIP Hop Protocol TLA+ Specification

https://github.com/hop-protocol/spec/

hophop-protocolspecificationtlatlaplustla-specificationtla-pluswipwip-do-not-use

License:MIT License

Languages

Language:TLA 100.0%