Los fuentes de los pdf están hechos en markdown con agregados de latex matemático.
Para compilar los markdown a pdf uso pandoc. Si están en linux/mac pueden correr el ejecutable compile.sh para compilar los fuentes.
Referir a pandoc para entender la sintaxis más a fondo.
La notación de el conjunto de naturales incluye el 0.
Usé vscode con la extensión Markdown+Math, la cual escribís mediante markdown y podés meter latex matemático (igual que pandoc) y te muestra una vista en tiempo real. La desventaja de usar Markdown+Math es que no soporta librerías de latex.
No están completas las guías. Si tenés alguna solución podés hacer un pull request y lo reviso sin problemas :). Sinó podés armar un issue con la foto de la solución y yo lo paso a latex.
Soy un simple alumno que cursó la materia en pandemia el verano de 2021, si tienen duda de la correctitud de una solución no duden en consultar con su profesor. Si encuentran errores pueden hacer un pull request para corregirlos.