sphinx-proof

sphinx-proof copied to clipboard

### Describe the bug **context** I have started to get warnings generated by `sphinx-proof` ``` WARNING: Domain 'sphinx_proof.domain::prf' has not implemented a `resolve_any_xref` method [myst.domains] ``` **expectation** No warnings produced...

mmcky

Fix typo in index.md

1

nthiery

New release of sphinx-proof

3

### Context I'm using some of the new box types like assumption, that is not released yet. For local development it works fine, to just put the repository link and...

KennethNielsen

### Context The `mystjs` team have made some nice improvements to the `dark mode` in particular ### Proposal Review and incorporate changes: https://github.com/executablebooks/myst-theme/pull/87 and https://github.com/executablebooks/myst-theme/pull/90 ### Tasks and updates -...

mmcky

ValueError: 'theorem ' is not in list

6

### Describe the bug **context** While trying to run the simple examples described at https://jupyterbook.org/content/proof.html, I receive an error (for all types). **expectation** I expected jb to render the sphinx-proof...

andrewcstewart

Invoke margin links inside sphinx-proof blocks

1

I would like to add a link in the margin of a jupyter-book, referring to text inside a sphinx-proof block, from within the sphinx-proof block. A generic example: ````` ````{prf:example}...

ShashShukla

### Context I often find myself when writing proofs having long chains of homogeneous ideas, and I want to reference back to why the next line follows from the previous....

ebridge2

Using multi-line math outputs

1

### Describe the bug **context** When you try to use multi-line (either $$ or \begin{align} type of environments) from within a lemma/definition/theorem/proof environment, it will not typeset latex. **expectation** I...

ebridge2

Support for Exercises directive & Added Chinese translation (zh_CN)

8

* support for exercise directive * add translation to Chinese * change encoding to "utf8" in the _convert.py to be compatible more languages * translation json for exercise directive *...

11Haoyu

Hide Content Only Works For Non-Proof Directives, here

4

### Describe the bug **context** When I add the class `dropdown` to any directive except ````` ````{prf:proof} :class: dropdown ```` ````` the directives become collapsible in the HTML output opened...

schwabts