← Back to context Comment by jovas 6 years ago You can write texts in LaTeX, and post them online using Ximera!https://ximera.osu.edu/mooculus 1 comment jovas Reply krapht 6 years ago You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/
krapht 6 years ago You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/
You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/