diff --git a/README.md b/README.md index 57839a2..396cfc9 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ - +![Aegis logo](./images/logo_dark.png#gh-light-mode-only) +![Aegis logo](./images/logo_white.png#gh-dark-mode-only) Aegis is a tool for the verification of Cairo code.