HandrailsTranslator#
Qualified name: rsm.translator.HandrailsTranslator
- class rsm.translator.HandrailsTranslator(quiet=False)[source]#
Bases:
Translator
Methods
leave_step
visit_abstract
visit_bibliography
visit_contents
visit_manuscript
visit_mathblock
visit_proof
visit_section
visit_step
visit_subproof
visit_theorem
Attributes
svg