Experimental proof-lifting capability matrix for Theoria 0.6.
The shape may change before 1.0.
Summary
Types
@type capability() :: Theoria.Rewrite.Proof.Capability.t()
Functions
@spec explain([atom()]) :: capability()
@spec explain_step(Theoria.Rewrite.Step.t()) :: capability()
@spec matrix() :: [Theoria.Rewrite.Proof.Capability.Entry.t()]
@spec matrix_paths() :: [[atom()]]