#!de :: assert+timestamp : @1 is closing in on 2017 and on …

Twetch ·

#!de :: assert+timestamp : @1 is closing in on 2017 and on track to be the second computer scientist to produce a proof for the unique games conjecture