kdrag.kernel.axiom

kdrag.kernel.axiom(thm: BoolRef, fvs=frozenset({}), by=['axiom']) → Proof

Assert an axiom.

Axioms are necessary and useful. But you must use great care.

Parameters:

• thm (BoolRef) – The axiom to assert.

• by – A python object explaining why the axiom should exist. Often a string explaining the axiom.

Return type:

Proof