Distributed data structures with Coq - discu.eu

Hacker News

Distributed data structures with Coq http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html 24 comments 12/6/2013

Linking pages

GitHub - alangibson/awesome-crdt: A collection of awesome CRDT resources https://github.com/alangibson/awesome-crdt 0 comments

Related searches:

Search whole site: site:christophermeiklejohn.com

Search title: Distributed data structures with Coq

See how to search.

Submit link to: