-
Notifications
You must be signed in to change notification settings - Fork 16
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[ENH] Support for all directive types #7
Comments
@jstac is using |
The types which we have in the package at present is:
|
thanks @AakashGfude it would be helpful to perhaps list the ones that are not implemented. It looks like
In that case I wonder why
is causing:
|
@mmcky |
thanks @AakashGfude was reading |
I'll add the following directives:
|
Thanks guys! @najuzilu , you've done really nice work here! Could you please add "proposition" as well, and make it the same as "theorem"? |
As of now, we're supporting the following directives (total 15):
With all these additions, I wonder if we should open a discussion to rename the proof domain. While moving them to new extensions would be one solution, the reason I have kept them all within one domain is that the numbering for each directive builds on the other directive (similar to how LaTeX numbers these types of directives). What do others think? |
If we want to support commonality with
sphinxcontrib-proof
we may want to add the common types:https://sphinxcontrib-proof.readthedocs.io/en/latest/usage/#common-options
The text was updated successfully, but these errors were encountered: