Original Summary

Normalized proofs, derivations, evidence, and provenance for machine reasoning.

中文概览

中文标题： LATTIX-IO/proofchain

为机器推理提供规范化的证明、推导、证据与来源溯源（provenance）表示。

  • 情报分类：开源项目与落地
  • 分类依据：开源仓库，提供证明与溯源数据结构
  • 信息来源：GitHub · AI 新项目
  • 发布时间：2026/10/8 00:43:48