Distributed verification -- another gentle shove back ... March 8, 2017 Jeremy Cherfas Distributed verification – another gentle shove back towards Chrome.
