TheoryPackage

class proveit.TheoryPackage(name, filename, attr_dict)

Bases: module

Used in __init__.py modules of theory packages for accessing common expressions, axioms, and theorems of the package.