search

jprider63 / vrdt

5 stars 0 forks source link

Prove strong eventual consistency #13

Open jprider63 opened 4 years ago

jprider63 commented 4 years ago

Prove strong eventual consistency. Depends on Yiyun's LH branch.