prover¶
-
proveit.
prover
(func)[source]¶ @prover is a decorator for methods that are to return a proven judgment valid under “active” (default) assumptions. As a special feature, this decorator allows for extra keyword arguments for temporarily altering any attributes of the Prove-It ‘defaults’ (e.g., defaults.assumptions) before calling the decorated method. It will then check to see if the return type is a Judgment that is valid under “active” assumptions.