Issues

• Add prf:numref

  enhancement
  executablebooks/sphinx-proof#159 · Filter by author dunglq2000 opened on Nov 13, 2025

• Add Chinese localisation for tiles of admonitions.

  enhancement
  executablebooks/sphinx-proof#152 · Filter by author mmcky opened on Oct 2, 2025

• License conflict

  executablebooks/sphinx-proof#112 · Filter by author agoose77 opened on Jul 29, 2024

• sphinx-proof on conda-forge?

  enhancement
  executablebooks/sphinx-proof#110 · Filter by author gschramm opened on Jul 22, 2024
  1

• ENH: Support for Gated Directives (for Executable Code)

  enhancement
  executablebooks/sphinx-proof#108 · Filter by author mmcky opened on Jul 5, 2024

• Incorporate Improvements from mystjs implementation

  enhancement
  executablebooks/sphinx-proof#95 · Filter by author mmcky opened on May 15, 2023

• Invoke margin links inside sphinx-proof blocks

  executablebooks/sphinx-proof#94 · Filter by author ShashShukla opened on Dec 26, 2022
  1

• New release of sphinx-proof

  enhancement
  executablebooks/sphinx-proof#93 · Filter by author KennethNielsen opened on Nov 3, 2022
  3

• Ability to cross-link references from inside of math boxes

  enhancement
  executablebooks/sphinx-proof#92 · Filter by author ebridge2 opened on Oct 22, 2022

• Using multi-line math outputs

  bug
  executablebooks/sphinx-proof#91 · Filter by author ebridge2 opened on Oct 15, 2022
  1

• Hide Content Only Works For Non-Proof Directives, here

  bug
  executablebooks/sphinx-proof#86 · Filter by author schwabts opened on Aug 24, 2022
  5

• Using References in (sub)section titles

  bug
  executablebooks/sphinx-proof#85 · Filter by author schwabts opened on Aug 19, 2022
  1

• Support a generic numbered directive with user defined name and other properties

  executablebooks/sphinx-proof#84 · Filter by author shailesh1729 opened on Jul 14, 2022
  1

• Examples in different files have same labels (e.g., 'example-0')

  bug
  executablebooks/sphinx-proof#79 · Filter by author photong opened on May 20, 2022
  1

• Allow header translation to other languanges

  executablebooks/sphinx-proof#77 · Filter by author raptistasos opened on Feb 17, 2022
  1

• ValueError: 'theorem ' is not in list

  bug
  executablebooks/sphinx-proof#76 · Filter by author andrewcstewart opened on Feb 5, 2022
  6

• Please add an "assumption" directive.

  enhancement
  executablebooks/sphinx-proof#73 · Filter by author shailesh1729 opened on Dec 30, 2021
  4

• Allow customizing environment text header

  enhancement
  executablebooks/sphinx-proof#53 · Filter by author tobydriscoll opened on Mar 5, 2021
  1

• Issues when directives share the same title and no number

  executablebooks/sphinx-proof#51 · Filter by author nathanael-fijalkow opened on Feb 13, 2021

• Clash with MathJax

  bug
  executablebooks/sphinx-proof#49 · Filter by author nathanael-fijalkow opened on Feb 4, 2021

• Clicking on ref link leads to wrong location

  executablebooks/sphinx-proof#27 · Filter by author jstac opened on Sep 2, 2020
  6

• [DISC] Add {proof} as new role

  executablebooks/sphinx-proof#13 · Filter by author najuzilu opened on Aug 31, 2020
  4

• [DISC] proof:proof has no label option

  executablebooks/sphinx-proof#10 · Filter by author mmcky opened on Aug 31, 2020
  2

• [DOC] document how this is different to sphinxcontrib-proof

  executablebooks/sphinx-proof#8 · Filter by author mmcky opened on Aug 31, 2020
  5

• [ENH] Support for all directive types

  executablebooks/sphinx-proof#7 · Filter by author mmcky opened on Aug 31, 2020
  8