cmeiklejohn/vvclocks

Verified vector clocks, with Coq!