GitHub repository: will62794/snapshot-isolation-spec
Primary language: TLA
Created: 2018-02-19T05:28:53Z
Description: A formal specification of snapshot isolation.