3 ms·It seems like theorem provers are where all the action should be, but oddly isn’tby mountainriver 5y agoIt seems like theorem provers are where all the action should be, but oddly isn’t