Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ rawland an hour 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).