Distributed Data Structures in Coq

Distributed Data Structures in Coq

RICON East 2013 lightning talk.

3e09fee7b359be847ed5fa48f524a3d3?s=128

Christopher Meiklejohn

May 13, 2013
Tweet