Posted by quoderat on Sunday Jun 9, 2019

Computer Scientists Expand the Frontier of Verifiable Knowledge.