Normalized proofs, derivations, evidence, and provenance for machine reasoning.
中文标题： LATTIX-IO/proofchain
为机器推理提供规范化的证明、推导、证据与来源溯源（provenance）表示。