7 ms·
You can write texts in LaTeX, and post them online using Ximera! https://ximera.osu.edu/mooculus https://ximera.osu.edu/mooculus
by jovas 8y ago
You can write texts in LaTeX, and post them online using Ximera!
https://ximera.osu.edu/mooculus https://ximera.osu.edu/mooculus
- krapht 8y agoYou can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/ http://pat.perso.ens-lyon.org/M1P1/