3 ms·
Well I'd say it's enough to automatically solve many high-school level problems, automatically. Like a poor man's Mathematica or WolframAlpha.
by est 5y ago
Well I'd say it's enough to automatically solve many high-school level problems, automatically. Like a poor man's Mathematica or WolframAlpha.
- mkl 5y agoYes, but that's a totally different category of problem from what proof assistants do.