Search results

"&" in docstring of Html.text is not rendered literally

Status: Open.

#898 In leanprover/verso;

· whxvd opened on Jun 28, 2026

Automatically generated tags for headings are not deduplicated

Status: Open.

#897 In leanprover/verso;

· KBone12 opened on Jun 28, 2026

Links in offline pages

Status: Open.

#865 In leanprover/verso;

· codeguru42 opened on May 31, 2026

Reduce highlighting of search results

Status: Open.

#852 In leanprover/verso;

· Vtec234 opened on May 1, 2026

Lean code fences that use +error in doc.verso docstrings make for broken :literateHtml output

Status: Open.

#842 In leanprover/verso;

· robsimmons opened on Apr 22, 2026

Support private or filtered xref-domain export for Manual HTML output

Status: Open.

#840 In leanprover/verso;

· ejgallego opened on Apr 17, 2026

BUG: Relative URLs broken by <base> tag in multi-page HTML output

Status: Open.

#834 In leanprover/verso;

· NicolasRouquette opened on Apr 12, 2026

emit-typst: Typst rendering backend, parallel to emit-tex

Status: Open.

#811 In leanprover/verso;

· michelk opened on Mar 23, 2026

CI: pushed tag doesn't cause verso manual deploy

Status: Open.

#805 In leanprover/verso;

· jcreedcmu opened on Mar 13, 2026

Code blocks should be rendered as <pre><code> instead of just <pre>

Status: Open.

#751 In leanprover/verso;

· berberman opened on Feb 14, 2026

doc.verso doesn't recognize function name in typeclass

Status: Open.

#687 In leanprover/verso;

· alok opened on Dec 22, 2025

RFC: Better entry point for documentation

Status: Open.

#651 In leanprover/verso;

· hgoldstein95 opened on Dec 4, 2025