Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

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.· Entity summary generated by Graphiti

RELATIONS
4Relations
CURRENT
4Current
EVENTS
0Events
REPORTS
1Source reports
KNOWLEDGE ATLAS0 entities · 0 relations
No public neighbors yet
Explore all published links of a node; previously discovered relations remain visible.

Relation timeline

BY VALID-FROM DATE
  1. Proximity Prize researchFORMALIZED INLean

    Proximity Prize research is formalized in Lean.

    Current1 sourceLean
  2. better.codesUSES PROBLEM FROMProximity Prize research

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

    Current1 sourcebetter.codes
  3. koalaIRS12PART OFProximity Prize research

    koalaIRS12 comes from the Proximity Prize research.

    Current1 sourcekoalaIRS12
  4. Ethereum FoundationLAUNCHESProximity Prize research

    Ethereum Foundation launched the Proximity Prize initiative.

    Current1 sourceEthereum Foundation

Relations are facts Graphiti extracted from reports, not verbatim quotes. An end date means later reporting showed the relation no longer holds.

Source reports 1