feat(Distributed): formalize notions of consistency for replicated data types and prove their relationships - #987

feat(Distributed): formalize notions of consistency for replicated data types and prove their relationships#987

ctchou wants to merge 13 commits into

leanprover:mainleanprover/cslib:mainfrom

ctchou:replicated-consistencyctchou/cslib:replicated-consistencyCopy head branch name to clipboard