This repo contains LaTeX transcription of the classes. There are also Lean formalizations of the classes.
- Type your class in a separate TeX file
class_X.tex. - Link to it in
main.texadding\input{class_X.tex}. - Whenever you are finished, push to the repository.
If you need new packages, add them in preamble.tex.
If you need new macros, add them to your chapter, enclosed by {{ and }} to make your definitions local.
See class_3.tex for examples of macros.
Compilation of the pdf is automatic through GitHub Actions.