Given a statement about an identity and the inputs necessary to prove the statement, produces a proof that the associated identity fulfills the statement.
Generated using TypeDoc
Given a statement about an identity and the inputs necessary to prove the statement, produces a proof that the associated identity fulfills the statement.