Ron Pressler

icon indicating a website link https://pron.github.io/

Results 1 repositories owned by Ron Pressler

amazon-snapshot-spec

19
Stars
3
Forks
Watchers

TLA+ and Alloy specs of database isolation

verified publisher icon pron