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.

Skill issue. People just don't RTFM its been in the language since I was in undergrad.

Also, most of my programming track was from being around mathematicians and physicists who did exactly writing papers and proving theorems using Mathematica lol. People are just allergic to paying for software, but they will spend $2K on a MacBook.

I think you are missing the point. Of course it’s a skill issue lol the website says “So simple, a 5th grader can use it.”

I too have worked with mathematicians and engineers at an AI research lab. I conducted research and taught in academia and later moved on to engineer AI systems at a unicorn startup in the US. My colleagues would say using Wolfram instead of open source, free tools is a skill issue lol. 

The point is this is not about you personal experience. There’s an audience for this simpler tools.

Skill issue. People just don't RTFM its been in the language since I was in undergrad.

Also, most of my programming track was from being around mathematicians and physicists who did exactly writing papers and proving theorems using Mathematica lol. People are just allergic to paying for software, but they will spend $2K on a MacBook.

https://www.wolfram.com/language/fast-introduction-for-math-students/en/mathematical-typesetting/