Search results

doc.verso doesn't recognize function name in typeclass

Status: Open.

#687 In leanprover/verso;

· alok opened on Dec 22, 2025

Docstring hover text uses wrong definitions

Status: Open.

#675 In leanprover/verso;

· atomb opened on Dec 15, 2025

RFC: Better entry point for documentation

Status: Open.

#651 In leanprover/verso;

· hgoldstein95 opened on Dec 4, 2025

Dark mode for Verso HTML output (prefers-color-scheme)

Status: Open.

#641 In leanprover/verso;

· sirbuffalo opened on Nov 24, 2025

Browser tests

Status: Open.

#591 In leanprover/verso;

· jcreedcmu opened on Oct 23, 2025

Deprecate absolute paths in src/multi-verso/MultiVerso/Path.lean

Status: Open.

#582 In leanprover/verso;

· jcreedcmu opened on Oct 20, 2025

Typeclass error message when a footnote is missing

Status: Open.

#567 In leanprover/verso;

· robsimmons opened on Oct 13, 2025

Generalize Part HTML rendering

enhancementNew feature or requestNew feature or request

Status: Open.

#561 In leanprover/verso;

· jcreedcmu opened on Oct 9, 2025

Auto-complete roles in Verso docstrings

enhancementNew feature or requestNew feature or request

Status: Open.

#544 In leanprover/verso;

· alok opened on Oct 1, 2025

Typeset a single <code>grammar</code> block with multiple productions

enhancementNew feature or requestNew feature or request

Status: Open.

#536 In leanprover/verso;

· sgraf812 opened on Sep 23, 2025

Hot Reload Support

Status: Open.

#493 In leanprover/verso;

· flappyBug opened on Aug 5, 2025

Manual genre: upstream proof state display controls from TPiL

Status: Open.

#475 In leanprover/verso;

· david-christiansen opened on Jul 23, 2025