4 ms·
That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.
by qayxc 5y ago
That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.