github-repos/tla-plus
1
0
Fork 0
mirror of https://github.com/pingcap/tla-plus.git synced 2025-01-13 21:30:08 +08:00
Code Issues Packages Projects Releases Wiki Activity
master
tla-plus/TwoPC/Coq/_CoqProject
foreverbell 5aee4f13c6
TLAPS and Coq proof of TwoPC protocol.
2018-01-18 15:16:09 +08:00

5 lines
35 B
Plaintext
Raw Permalink Blame History

-R . TwoPC
TwoPC.v
Learn.v
Crush.v
Reference in New Issue View Git Blame Copy Permalink