Matt McKay

Linking this issue to https://github.com/executablebooks/sphinx-external-toc as this is the extension driving that warning. cc: @chrisjsewell

@najuzilu would it help to wrap the whole `theorem` in another `div` and set the `id=target` to get link to the top of a `theorem`? @AakashGfude may be able to...

@jstac is using `proof:example` in his new lecture set.

thanks @AakashGfude it would be helpful to perhaps list the ones that are **not implemented**. It looks like `property` and `example` from `sphinxcontrib-proof` are not implemented. `exercise`, `axiom`, `remarks`, `criterion`...

thanks @AakashGfude was reading `exercise` too quickly :-)

thanks @11Haoyu -- you've done well for a first contribution. Thank you! I will review this over the next couple of days and get this merged.

@11Haoyu we actually have another extension [sphinx-exercise](https://github.com/executablebooks/sphinx-exercise) that has support for `exercise` and `solution` directives. Rather than just a styling admonition they are linked via `references` so you can reference...

> Yes, I am aware of the extension of sphinx-exercise. But it seems that sphinx-exercise doesn't have translation function like sphinx-proof. Therefore, I added the exercise directive in sphinx-proof so...

I will need to think a bit about the `exercise` node as that may cause conflict for those using `sphinx-exercise` in the same project. If we enable basic exercise support...

Thanks @najuzilu we should copy this to the docs :-).