v0.4.0 — Lógica completa, HoTT expandido, PDFs por libro

Cambios principales

Lógica (Parte I)

• Reorganización completa en 14 capítulos: expresiones y operadores, propiedades y equivalencias, sistema formal, métodos básicos de demostración, cuantificadores y predicados, métodos estructurales, existencia y unicidad, inducción, conjuntos, guía de lógica, guía de demostración, ejercicios, metateoremas, bibliografía

HoTT (Parte IV)

• Nuevos capítulos: lógica de primer orden, aritmética, introducción a Rocq, expresividad de UniMath
• Renumeración de capítulos existentes (tipo identidad, niveles de homotopía, tipos inductivos superiores)

Infraestructura y componentes

• Refactor de _meta.yaml a _index.mdx con portada y tabla de contenidos por parte
• Mejoras al sidebar: jerarquía de títulos por parte, renderizado de LaTeX en TOC
• Componente callout: nueva prop qed, soporte para Proof anidado dentro de Theorem
• Generación de PDF: secciones numeradas, PDFs individuales por parte
• Fix errores MDX: entornos aligned, \text vs \mathrm, llaves en subíndices
• Mejoras al script mdx-to-pandoc.py

Otros

• Bibliografías y ejercicios agregados en Análisis y Complejos