All issues

Search results

blog: Optional logo and subtitle metadata

Status: Open.

#997 In leanprover/verso;

· awalterschulze opened on Sep 24, 2026

Table support for Blog

Status: Open.

#996 In leanprover/verso;

· awalterschulze opened on Sep 24, 2026

Is there an existing or planned HTML-to-Verso importer?

Status: Open.

#980 In leanprover/verso;

· theochim00 opened on Sep 10, 2026

verso-literate attaches a declaration's docstring to a constant defined by one of its attributes

Status: Open.

#979 In leanprover/verso;

· mo271 opened on Sep 7, 2026

Manuals fail to render on Windows: include_bin_dir keys entries by a host-dependent path

Status: Open.

#976 In leanprover/verso;

· NicolasRouquette opened on Aug 30, 2026

Tags in the manual genre have poor behavior with spaces

Status: Open.

#972 In leanprover/verso;

· david-christiansen opened on Aug 26, 2026

leanOptions handling potentially brokeen

Status: Open.

#968 In leanprover/verso;

· mo271 opened on Aug 21, 2026

doc.verso: deleting prose from one docstring makes a later proof fail Decidable synthesis (elaboration state leak?)

Status: Open.

#963 In leanprover/verso;

· Deicyde opened on Aug 18, 2026

Is it possible to make a blog with list of posts on frontpage

Status: Open.

#962 In leanprover/verso;

· awalterschulze opened on Aug 17, 2026

Allow blog posts to specify an explicit URL slug

Status: Open.

#960 In leanprover/verso;

· berberman opened on Aug 15, 2026

Configuration option that limits tactics state popup to checkbox?

Status: Open.

#929 In leanprover/verso;

· IsaacDynamo opened on Jul 17, 2026

Squiggly Lean.log lines not shown in lean blocks

Status: Open.

#922 In leanprover/verso;

· whxvd opened on Jul 11, 2026