top | item 19267205 (no title) jovas | 7 years ago You can write texts in LaTeX, and post them online using Ximera!https://ximera.osu.edu/mooculus discuss order hn newest krapht|7 years ago You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/
krapht|7 years ago You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/
krapht|7 years ago