Uses of Class
org.episteme.core.mathematics.logic.proof.Proof

Packages that use Proof

Package	Description
org.episteme.core.mathematics.logic.proof
org.episteme.social.philosophy	Provides support for philosophy, including formal logic, ethics, epistemology, and storytelling.

Uses of Proof in org.episteme.core.mathematics.logic.proof

Methods in org.episteme.core.mathematics.logic.proof with parameters of type Proof

Modifier and Type	Method	Description
boolean	ProofVerifier.verify(Proof proof)	Verifies the validity of a proof.

Uses of Proof in org.episteme.social.philosophy

Methods in org.episteme.social.philosophy with parameters of type Proof

Modifier and Type	Method	Description
static boolean	LogicSolver.verifyFormalProof(Proof proof)	Integrates with the mathematical proof system to verify a complex argument.