4 ms·Encoding a proof to check it is the hard part.by danharaj 8y agoEncoding a proof to check it is the hard part.