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-09-10 10:06:20 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
136b62762fe3a941a947efc842af00c857d323b7
tendermint
/
spec
/
light-client
/
supervisor
T
History
Callum Waters
e81b0e290e
spec: merge spec repo into tendermint repo (
#7804
)
2022-02-17 13:02:48 +01:00
..
supervisor_001_draft.md
Clean up lint failures for Markdown files (
#367
)
2021-11-22 14:22:55 -08:00
supervisor_001_draft.tla
spec: merge rust-spec (
#252
)
2021-03-01 08:54:08 +00:00
supervisor_002_draft.md
spec: merge spec repo into tendermint repo (
#7804
)
2022-02-17 13:02:48 +01:00
