sphinx-proof

sphinx-proof copied to clipboard

Using References in (sub)section titles

1

### Describe the bug **context** When I write a subsection with title ``` ## Sharpening {prf:ref}`weak-lemma` ``` **expectation** I expected the section title to be generated as ``` Sharpening Lemma...

schwabts

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

1

Is there a plan to support a generic numbered directive where the actual name and color of the directive can be user controlled? In LateX one can create new theorem...

shailesh1729

Please add an "assumption" directive.

4

### Description / Summary When describing a mathematical algorithm, it is sometimes important to describe a set of assumptions under which the algorithm is expected to perform correctly. For example,...

shailesh1729

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

1

### Describe the bug When I add the prf:example directive in two different files (foo.rst and bar.rst), the first example for each file is labeled 'example-0'. This leads to foo.rst:...

photong

Shared numbering between directives

3

### Description / Summary Have shared numbering for certain directives. ### Value / benefit It is very common for mathematical notes to employ shared counters for Theorems, Lemmas and Definitions,...

TimRoith

Allow header translation to other languanges

1

Hi, Is there a way to translate headers to other languages ("theorem": "θεώρημα" in Greek etc.). I think sphinxcontrib-proof extension allows such configuration in conf.py but haven't found something similar...

raptistasos

Allow customizing environment text header

1

**Is your feature request related to a problem? Please describe.** A `prf` environment always puts its title inside parentheses. **Describe the solution you'd like** I'd like the ability to customize...

tobydriscoll

Hi, It may not be very frequent, but it may be worth fixinf anyway. I write: ```` ```{prf:theorem} Title1 :nonumber: Content1 ``` ```{prf:lemma} Title1 :nonumber: Content2 ``` ```` And surprisingly,...

nathanael-fijalkow

[EDIT: I opened this issue a few days ago and since then figured out where the issue exactly is.] Hi, Many thanks for this much needed package! It seems that...

nathanael-fijalkow

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

5

@najuzilu beyond the obvious styling improvements would you be able to put a list together of the differences between this project and [sphinxcontrib-prettyproof](https://sphinxcontrib-proof.readthedocs.io/en/latest/). It would be helpful in the `docs`...

mmcky