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-04 07:07:13 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9a8bcba943eb576fcdbe809dbbf7f028802b526b
tendermint
/
spec
/
consensus
/
proposer-based-timestamp
/
tla
T
History
3 people
M. J. Fromberger
GitHub
Kukovec
c42c6d06d2
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
...
Co-authored-by: Kukovec <
jure.kukovec@gmail.com
>
2022-03-02 09:08:39 -05:00
..
Apalache.tla
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
2022-03-02 09:08:39 -05:00
MC_PBT.tla
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
2022-03-02 09:08:39 -05:00
TendermintPBT_001_draft.tla
…
TendermintPBT_002_draft.tla
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
2022-03-02 09:08:39 -05:00
typedefs.tla
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
2022-03-02 09:08:39 -05:00
