This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
tendermint
Watch
1
Star
0
Fork
0
You've already forked tendermint
mirror of
https://github.com/tendermint/tendermint.git
synced
2026-04-29 20:06:56 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
694ab2c6d1f9abc4e1db2e293b40cf0000e82753
tendermint
/
spec
/
light-client
/
supervisor
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
