Type Alias: ProofKind

ProofKind = "proved" | "fact" | "residuated" | "unattributed" | "truncated"

Defined in: src/types/inference.ts:72

How a proof node’s goal was established. See ProofDto.kind.