distributed-data-structures

Distributed Data Structures in Coq

49 stars

5 watching

2 forks

Language: Coq

last commit: almost 11 years ago

Linked from 2 awesome lists

Screenshot of cmeiklejohn/distributed-data-structures website

cmeiklejohn.github.io/distributed-data-structures

Backlinks from these awesome lists: