PulseAugur
实时 21:35:40
实体 Demo.lean

Demo.lean

PulseAugur coverage of Demo.lean — every cluster mentioning Demo.lean across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_195233 ·

    LeanScreen 工具检查形式数学证明的一致性

    LeanScreen 是一款旨在评估数学证明与其声明意图之间一致性的新工具。它作为一个本地、快速的检查器,可以识别形式证明中潜在的问题,例如一个声称证明完美数存在的定理实际上只陈述了一个重言式。该工具旨在帮助用户在最终确定其形式数学陈述之前,确保其正确性。