Ron Pressler
https://pron.github.io/
Repositories
Issues
Comments
Results
1
repositories owned by
Ron Pressler
amazon-snapshot-spec
19
Stars
3
Forks
Watchers
TLA+ and Alloy specs of database isolation
pron