Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

Ethereum Foundation Formal Verification team

RSS

better.codes was built by the Ethereum Foundation Formal Verification team. Ethereum Foundation Formal Verification team is part of the Ethereum Foundation.· Entity summary generated by Graphiti

RELATIONS
2Relations
CURRENT
2Current
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. better.codesBUILT BYEthereum Foundation Formal Verification team

    better.codes was built by the Ethereum Foundation Formal Verification team.

    Current1 sourcebetter.codes
  2. Ethereum Foundation Formal Verification teamPART OFEthereum Foundation

    Ethereum Foundation Formal Verification team is part of the Ethereum Foundation.

    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