discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Distributed data structures with Coq
http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html
24 comments
12/6/2013