Markdown is not a typesetting engine. It is a markup language. What pandoc does is convert the markdown syntax into LaTeX syntax and then run a TeX engine to produce the desired PDF.
Typst is a new entry in the document typesetting field.
> Markdown is not a typesetting engine. It is a markup language. What pandoc does is convert the markdown syntax into LaTeX syntax and then run a TeX engine to produce the desired PDF.
If we're going to go that route, neither is LaTeX a typesetting engine; it is a macro package built on the typesetting engine of TeX.
I'm studying math right now and I have that problem. We're just being vomited theorems and propositions in class instead of making us think. There's not a single subject dedicated to learning the process of thinking in maths. So I think we're learning the wrong (the hard) way.
Many undergrad programs (in the U.S.) now have a course in math proof, which is intended to introduce students to proof techniques. It seems helpful to learn how to write proofs without the pressure of learning the content of a subject (like linear algebra, abstract algebra, and so on) at the same time.
It is: you can click on 'WRITE YOUR OWN CONTINUE AND PERSIST HERE!'[1] to be sent to a Google Doc with the template.
[1]: https://docs.google.com/document/d/1_Um9z87Zv_zLRZRRHpii-Mwm...