This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
tendermint
Watch
1
Star
0
Fork
0
mirror of
https://github.com/tendermint/tendermint.git
synced
2026-07-25 09:32:54 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
41e681293c7072e1e600d1a7de3e587d82808321
tendermint
/
spec
/
light-client
/
supervisor
T
History
Mateusz Górski
and
GitHub
4c3339ab6a
Update supervisor_001_draft.md (
#334
)
2021-08-18 10:45:58 +00:00
..
supervisor_001_draft.md
Update supervisor_001_draft.md (
#334
)
2021-08-18 10:45:58 +00:00
supervisor_001_draft.tla
spec: merge rust-spec (
#252
)
2021-03-01 08:54:08 +00:00