thanks for your PR @tomastalasek we have merged a comprehensive update to languages in #146.

Czech (cs) Translation Verification

All Czech translations have been verified and are complete for sphinx-proof.

Translation Summary

Verified Files

JSON Translation Files (15/15)

All directive type JSON files contain Czech translations:

• ✅ Algorithm.json
• ✅ Assumption.json
• ✅ Axiom.json
• ✅ Conjecture.json
• ✅ Corollary.json
• ✅ Criterion.json
• ✅ Definition.json
• ✅ Example.json
• ✅ Lemma.json
• ✅ Notation.json
• ✅ Observation.json
• ✅ Property.json
• ✅ Proposition.json
• ✅ Remark.json
• ✅ Theorem.json

Compiled Locale Files

• ✅ sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.po
• ✅ sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo

Conclusion

Czech language support is complete and fully functional for all sphinx-proof directive types. 🇨🇿