3 ms·
> require the comments to be provably correct and assume the post as premise and I think we're onto a winner It's trivial: proof is by EFQ. ;)
by leoc 12y ago
> require the comments to be provably correct and assume the post as premise and I think we're onto a winner
It's trivial: proof is by EFQ. ;)