← Back to context Comment by seunosewa 8 hours ago Could you provide a practical example? 2 comments seunosewa Reply rawland 7 hours ago There is one in the quickstart: mathcode -p "prove that the square of an even number is even" https://math-ai-org.github.io/mathcode/#quickstart - if you look very closely, the screenshot at the top actually shows the output (and the solution). dominotw 24 minutes ago so ' a problem' here is just preexisting math theorems ?
rawland 7 hours ago There is one in the quickstart: mathcode -p "prove that the square of an even number is even" https://math-ai-org.github.io/mathcode/#quickstart - if you look very closely, the screenshot at the top actually shows the output (and the solution). dominotw 24 minutes ago so ' a problem' here is just preexisting math theorems ?
There is one in the quickstart:
https://math-ai-org.github.io/mathcode/#quickstart - if you look very closely, the screenshot at the top actually shows the output (and the solution).
so ' a problem' here is just preexisting math theorems ?