3 ms·

I'm sure there is so much room for improvement here. The closest thing for me is using TeXmacs: https://m.youtube.com/watch?v=H46ON2FB30U https://m.youtube.com/

by plafl 5y ago

I'm sure there is so much room for improvement here. The closest thing for me is using TeXmacs: https://m.youtube.com/watch?v=H46ON2FB30U https://m.youtube.com/watch?v=H46ON2FB30U