Comment by ndriscoll 3 days ago Yes, I had similar thoughts last week: https://news.ycombinator.com/item?id=49995658 1 comment ndriscoll Reply lioeters 2 days ago > proper IDE for mathLove this concept, and the potential for a far more integrated interface with various features that smartly supports the author, like a structural/projectional editor with built-in understanding of mathematics.
lioeters 2 days ago > proper IDE for mathLove this concept, and the potential for a far more integrated interface with various features that smartly supports the author, like a structural/projectional editor with built-in understanding of mathematics.
> proper IDE for math
Love this concept, and the potential for a far more integrated interface with various features that smartly supports the author, like a structural/projectional editor with built-in understanding of mathematics.