prf directive

[Mpdreamz]

Proofs

Kind	Link
Reference
Documentation	https://mystmd.org/guide/proofs-and-theorems

Implementation

• Parses directives and aliases
• Emits HTML
• Unit tests
• Validation (emits, warnings and errors).

Specification compliance:

TODO, first discuss if we want to implement this directive.