Variable

class proveit.Variable(string_format, latex_format=None, *, fence_when_forced=False, styles=None)

Bases: proveit.Label

A Variable is an interchangeable label. They may be relabeled Variable to Variable. Through instantiation of a Forall statement over one or more Variables, those Variables may each be replaced with a general Expression.