Repository navigation
Allow header translation to other languanges #77
Description
Activity
Thanks for opening your first issue here! Engagement like this is essential for open source projects! 🤗
If you haven't done so already, check out EBP's Code of Conduct. Also, please try to follow the issue template as it helps other community members to contribute more effectively.
If your issue is a feature request, others may react to it, to raise its prominence (see Feature Voting).
Welcome to the EBP community! 🎉
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 in sphinx-proof.
Thanks!