Distributed Data Structures in Coq
View the Project on GitHub cmeiklejohn/distributed-data-structures
An attempt at modeling various Lattices and CRDTs in Coq and Haskell.
Copyright (C) 2013 Christopher Meiklejohn.