diff --git a/README.md b/README.md index 18e38c3..a146f63 100644 --- a/README.md +++ b/README.md @@ -134,8 +134,10 @@ We're very grateful towards the following organizations, projects and people: The RVT tools allowed us to integrate with industrial-grade verification tools in a very effective way. - the KLEE Symbolic Execution Engine maintainers - the Rust community at large - - All members of the NGI-Ledger Consortium for accompanying us - [![Blumorpho](../main/img/blumorpho-logo.png?raw=true)](https://www.blumorpho.com/) [![Dyne](../main/img/dyne-logo.png?raw=true)](https://www.dyne.org/ledger/) [![FundingBox](../main/img/funding-box-logo.png?raw=true)](https://fundingbox.com/) [![NGI LEDGER](../main/img/ledger-eu-logo.png?raw=true)](https://ledger-3rd-open-call.fundingbox.com/) + - All members of the NGI-Ledger Consortium for accompanying us + [![Blumorpho](../main/img/blumorpho-logo.png?raw=true)](https://www.blumorpho.com/) [![Dyne](../main/img/dyne-logo.png?raw=true)](https://www.dyne.org/ledger/) + [![FundingBox](../main/img/funding-box-logo.png?raw=true)](https://fundingbox.com/) [![NGI LEDGER](../main/img/ledger-eu-logo.png?raw=true)](https://ledgerproject.eu/) + [![European Commission](../main/img/european-commission-logo.png?raw=true)](https://ec.europa.eu/programmes/horizon2020/en/home) # License diff --git a/img/european-commission-logo.png b/img/european-commission-logo.png new file mode 100644 index 0000000..d08a911 Binary files /dev/null and b/img/european-commission-logo.png differ