跳到正文
ENTITY PROFILE / 实体档案

Proximity Prize research

RSS

better.codes takes a self-contained problem from the Proximity Prize research. Proximity Prize research is formalized in Lean. koalaIRS12 comes from the Proximity Prize research. Ethereum Foundation launched the Proximity Prize initiative.· Graphiti 生成的实体摘要

RELATIONS
4关系
CURRENT
4当前有效
EVENTS
0相关事件
REPORTS
1来源报道
KNOWLEDGE ATLAS0 个实体 · 0 条关系
暂无可公开的邻近关系
按需展开实体的全部已公开关系,保留探索过的节点与连线。

关系变化

按生效时间
  1. Proximity Prize researchFORMALIZED INLean

    Proximity Prize research is formalized in Lean.

    当前有效1 条来源Lean
  2. better.codesUSES PROBLEM FROMProximity Prize research

    better.codes takes a self-contained problem from the Proximity Prize research.

    当前有效1 条来源better.codes
  3. koalaIRS12PART OFProximity Prize research

    koalaIRS12 comes from the Proximity Prize research.

    当前有效1 条来源koalaIRS12
  4. Ethereum FoundationLAUNCHESProximity Prize research

    Ethereum Foundation launched the Proximity Prize initiative.

    当前有效1 条来源Ethereum Foundation

关系是 Graphiti 从报道中提取的事实陈述,不是原文引述;失效时间表示后来的报道显示这条关系已不成立。