Given an atomic statement and a prover's attributes, determine whether the statement is fulfilled.
Generated using TypeDoc
Given an atomic statement and a prover's attributes, determine whether the statement is fulfilled.