v1.1.0 — Inline reference links, and a second screenshot
Every tactic and Mathlib name across the whole book now gets a reference
link right next to its first mention in each chapter’s own prose (not
only on the standalone tactic-and-library-reference.md lookup page
added earlier) — tactics link to the official Lean 4 Tactic Reference,
Mathlib names (in Chapters 6-11’s “Mathlib equivalent” boxes) link via
Loogle. Care was taken not to link the book’s own from-scratch
Group/Ring/Module/etc. as if they were the real Mathlib classes.
Added a second real VS Code screenshot, in
Appendix A’s Chapter 11 solutions,
showing the Lean Infoview for append_nil_left’s cons case.
v1.1.0 — PDF: real Mermaid diagrams, Lean syntax highlighting, honest front matter
Mermaid diagrams now render as real images in the PDF (via
@mermaid-js/mermaid-cli), not fenced source text — previously every
graph TD/graph LR diagram just showed as a code block.
Added a custom Kate syntax-highlighting definition for Lean 4
(build/lean4.xml, since Pandoc’s highlighter has no built-in Lean
lexer) so Lean code blocks get real syntax coloring; Python code blocks
already highlighted correctly.
Long code lines now wrap instead of running off the page edge.
The PDF’s title page now names the actual author, Abderrahim Adrabi,
and a new front-matter “About this book” page states plainly that the
text was generated by Claude Code under the author’s direction — not
just noted in the repo’s top-level README, but in the PDF itself.
All PDF-build tooling (build_pdf.py, pdf-header.tex,
pdf-metadata.yaml, lean4.xml) moved into a dedicated build/
folder instead of sitting loose at the book root.
v1.1.0 — Screenshot and reference links
Added a real VS Code screenshot of the Lean Infoview to
Chapter 4 §1, captured live against
my_add_comm’s succ case, showing the hypotheses/goal split described
in the surrounding text rather than only a text mock-up of it.
Added tactic-and-library-reference.md,
a lookup table linking every tactic used in the book to the official
Lean 4 Tactic Reference, and every Mathlib name used in Chapters 6-11’s
“Mathlib equivalent” boxes to Loogle/Mathlib4 docs. Linked from the
README, Chapter 4, Chapter 6, and Chapter 12.