3 ms·That frankly sounds hard to believe. Which proof tool did he use? Link to paper?by deterministic 4y agoThat frankly sounds hard to believe. Which proof tool did he use? Link to paper?