Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Alejandro Cabrera

Starred by Alejandro Cabrera

cabrera
View profile
Verified Vector Clocks
Avatar for Christopher Meiklejohn cmeiklejohn
1
270
Vector Clocks in Coq: An Experience Report
Avatar for Christopher Meiklejohn cmeiklejohn
3
790