v0.7.0

Cambios

• Renombrar Análisis Real → Fundamentos de Análisis Real

v0.6.0

Cambios

• Rehacer ejercicios y resoluciones de análisis con PDF completo (TPs I-IV)

v0.5.0

Cambios

• Agregar ejercicios de derivadas e integrales, resoluciones de analisis, contenido HoTT

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

v0.3.0

Cambios

• Reorganizar Lógica en 14 capítulos, expandir HoTT, mejorar componentes y PDF

v0.2.0

Cambios

• Fix ind_\mathbb{N} → ind_{\mathbb{N}} para XeLaTeX
• Fix subscripts sin llaves que rompen XeLaTeX en PDF
• Refactor _meta.yaml a _index.mdx, agregar intro HoTT, mejorar sidebar

v0.1.0

Cambios

• Anidar demostraciones dentro de sus teoremas en complejos
• Demostraciones sin fondo propio + chevron colapsable + auto-release en MDX
• Mejorar estructura de headings h2 en capítulos de análisis
• Migración de Quarto a Next.js

v0.0.1

Primera release del libro.