HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Fixing a MongoDB Replication Protocol Bug with TLA+ (2019) [pdf]
tla.msr-inria.inria.fr
discuss
4 years ago
eatonphil
2 points
2.
▲
TLA+ Proof System
tla.msr-inria.inria.fr
discuss
9 years ago
based2
2 points