Proof Animation

class ProofAnimationParts(*values)

Bases: Enum

SHOWCASE = 'Showcase of the final figure'

CONSTRUCTION = 'Construction of the initial figure'

PROOF = 'Proof'

GOAL = 'Summary of proven goals'

class ProofAnimation(proof_data, symbols, theme, jgex_problem=None, figure_kwargs=None)

Bases: object

animate()

Return type:

FuncAnimation