6 ms·
FYI I've already gotten some feedback re the (human attention and computational) cost of proof systems. I'm not sure yet if this problem is (exactly) the same a
by doriantaylor 15y ago
FYI I've already gotten some feedback re the (human attention and computational) cost of proof systems. I'm not sure yet if this problem is (exactly) the same as that.