3 ms·
Depending on what you call "AI" and "proofs," the answer is that you might be describing what's called a "proof assistant."
by pmiller2 6y ago
Depending on what you call "AI" and "proofs," the answer is that you might be describing what's called a "proof assistant."