mongo-repl-tla-models icon indicating copy to clipboard operation
mongo-repl-tla-models copied to clipboard

verified publisher icon will62794
→

Metadata

TLC models for the MongoDB Replication TLA+ specification.

Results 1 mongo-repl-tla-models issues
Sort by recently updated
recently updated
newest added

License?

Wondering about what license these are under, seem like good candidates for the tlaplus/examples repo

ahelwer avatar ahelwer

← Metadata

21
Stars
2
Forks
Watchers

Owner

verified publisher icon will62794

Metadata

TLC models for the MongoDB Replication TLA+ specification.

Back