Speaker Deck

Distributed Data Structures in Coq

by Christopher Meiklejohn

Published May 13, 2013 in Programming

RICON East 2013 lightning talk.