KLT-RBDv6 · ARBD · BUILD 28
ARBD:作者标架数据库
面向 KLT-RBDv6 的新语料分析引擎:从同一作者的多部作品建立概念图。首个已检查语料是康德:145 次出现、55 个候选及四个结构核心候选。
ARBD 与康德语料Python 0.1.0 · SCIENCE=ABSTAIN · truth_layer_promotion=0

面向 KLT-RBDv6 的新语料分析引擎:从同一作者的多部作品建立概念图。首个已检查语料是康德:145 次出现、55 个候选及四个结构核心候选。
ARBD 与康德语料Python 0.1.0 · SCIENCE=ABSTAIN · truth_layer_promotion=0
C3.8T:候选下界已在明确假设下通过审查。提供完整证明、精确例子及反例;尚未应用规范文本补丁。
打开严格审计旧版构建以回滚 ZIP 保存。当前界面在同一网站内整合这些版本的内容。
网站区分形式定理、软件实现和独立物理检验的证据层次。