All pull requests

Pull requests

• fix: remove well-foundedness lemmas that have been upstreamed

  #999·jcreedcmu opened Sep 25, 2026Collaborator·

  ·
  2

• chore: bump typescript from 5.8.3 to 7.0.2

  dependenciesjavascript
  #995·dependabot[bot] opened Sep 23, 2026Bot·

  ·
  1

• fix: deduplicate machine-assigned tags

  #991·casavaca opened Sep 22, 2026·

  ·
  1

• feat: adopt upstream HTML syntax

  #987·Vtec234 opened Sep 17, 2026Member·2/2·

  ·
  18

• fix: preserve section anchors on manual headings

  bug
  #983·ejgallego opened Sep 12, 2026Contributor·

  ·

• Fix guard msgs docstring

  #978·mo271 opened Sep 7, 2026·

  ·

• chore: use upstream HTML type

  #974·Vtec234 opened Aug 27, 2026Member·1/2·

  ·
  12

• fix: restore syntax highlighting

  #973·ROTARTSI82 opened Aug 26, 2026·

  ·

• fix: gracefully handle unknown -D options in verso-literate

  #969·mo271 opened Aug 21, 2026·

  ·
  1

  1

• fix: sync lean-toolchain for test projects that build against Verso

  #967·kim-em opened Aug 21, 2026Contributor·

  ·
  1

• feat: static content archives

  #964·david-christiansen opened Aug 18, 2026Collaborator·

  ·

• feat: shim to allow lean4web to show verso live preview

  #884·robsimmons opened Jun 19, 2026Collaborator·

  ·

• fix: parse parenthesized Markdown link URLs

  #879·nkgotcode opened Jun 18, 2026·

  ·
  1

  1

• feat: color themes

  #863·david-christiansen opened May 29, 2026Collaborator·

  ·
  1

• feat: read docstrings from doc-gen4

  #776·david-christiansen opened Mar 1, 2026Collaborator·

  ·
  1

• refactor: use parser restarting API instead of whitespace padding

  #750·ejgallego opened Feb 9, 2026Contributor·

  ·
  4

• chore: remove unused variables warning showing up in build

  #749·ejgallego opened Feb 9, 2026Contributor·

  ·
  4

• chore: Run build and test suite jobs on MacOS and Windows

  #724·ejgallego opened Jan 30, 2026Contributor·

  ·

• EXPERIMENT: elaborate block structures as concrete elements

  #693·robsimmons opened Dec 29, 2025Collaborator·

  ·
  4

• EXPERIMENT: typed syntax as the target of doc elaboration

  #692·robsimmons opened Dec 28, 2025Collaborator·

  ·
  12

• EXPERIMENT: rename VersoDoc to DocThunk

  #691·robsimmons opened Dec 28, 2025Collaborator·

  ·
  10

• EXPERIMENT: emit part structure as a string

  #690·robsimmons opened Dec 28, 2025Collaborator·

  ·
  4

• verso-manual: Increase responsive layout breakpoints

  #686·AmateurECE opened Dec 21, 2025·

  ·

• feat: add dark mode support via prefers-color-scheme

  #676·alok opened Dec 16, 2025Contributor·

  ·
  1

  23

• fix: generate placeholder text for missing toTex implementations

  #518·kpadmasola opened Aug 26, 2025·

  ·
  10