Search results

\lean{} links silently fall back to Mathlib docs when \dochome is not set

Status: Open.

#89 In PatrickMassot/leanblueprint;

· spitters opened on Feb 10, 2026

Highlight the selection equation from the URL

Status: Open.

#86 In PatrickMassot/leanblueprint;

· Aaron1011 opened on Jan 18, 2026

Detect cycles in dependency graph

Status: Open.

#78 In PatrickMassot/leanblueprint;

· BoltonBailey opened on Nov 3, 2025

Github Actions fail without home_page

Status: Open.

#63 In PatrickMassot/leanblueprint;

· henkkuli opened on Jan 13, 2025

need better instructions and error behavior for when pdflatex is missing

Status: Open.

#59 In PatrickMassot/leanblueprint;

· dwrensha opened on Oct 30, 2024

Dependency graph, support for equations

Status: Open.

#58 In PatrickMassot/leanblueprint;

· ouboub opened on Oct 26, 2024

Manual, dependency \begin{theorem}, \begin{thm}

Status: Open.

#57 In PatrickMassot/leanblueprint;

· ouboub opened on Oct 26, 2024

\subfile not \inluce

Status: Open.

#55 In PatrickMassot/leanblueprint;

· ouboub opened on Oct 26, 2024

small error in the latex example

Status: Open.

#54 In PatrickMassot/leanblueprint;

· ouboub opened on Oct 24, 2024

Show node statistics in dependency graph

Status: Open.

#50 In PatrickMassot/leanblueprint;

· fpvandoorn opened on Oct 17, 2024

leanblueprint new terminates with minimal output

Status: Open.

#43 In PatrickMassot/leanblueprint;

· mdnestor opened on Sep 5, 2024

Error when graphviz is not installed (macOS)

Status: Open.

#33 In PatrickMassot/leanblueprint;

· seewoo5 opened on Jul 29, 2024