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.

Me looking at you all who don't take profits and now you can't spend $500 a year on a math programming language.

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.