We just launched Corca—a collaborative math editor. The main idea: there’s no 'text editor' for math. If you want to work on equations on a computer, there’s no app designed for that—so the only real option is paper.
↓ https://t.co/thAiWlDGwu

Corca

Damn this is pretty cool

https://x.com/corca_math/status/1884749290607665504?s=46

https://corca.app/doc/45KghvqDJatmDv7T_MGhq

creating and destroying; built flying cars & autonomous vehicles, now building roc.camera, writings: july.rocks

There is a text editor for math though. Wolfram. Also there are programming languages that allow math typesetting, like Julia.

I usually use a combination of excalidraw and Julia with Pluto.jl for this type of work. However, it’s annoying that Pluto is a linear top-down notebook, requires technical knowledge to setup (not much but still) and work is separate between both tools.

This looks great its combines both tools. They mention proving theorems but I see no mention of automated theorem provers like Lean or Agda. Hopefully they’ll integrate. Seems like python integration is coming though.

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

They specifically address your point on Wolfram:

Others might ask about Wolfram or MatLab. But these aren’t math editors either—they’re tools designed for calculations, modeling, and data analysis. If you’re proving a theorem, exploring new ideas, or seeking the equation of everything, you’re still left with pen and paper.

And I actually would agree with you except that if you told me to use Wolfram (a closed source, paid app) I’d use your same argument and tell you to use python with jupyter notebooks or Julia with Pluto.