From b7f49e58a7025954edd0d77bb45c42830c8a55ca Mon Sep 17 00:00:00 2001 From: Jakob von Raumer Date: Mon, 13 Nov 2023 15:38:30 +0100 Subject: [PATCH] Update README.md --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index 34b2931..57839a2 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,4 @@ -# Aegis - -![Aegis logo](http://github.com/lindy-labs/aegis/blob/main/images/logo_white.png) + Aegis is a tool for the verification of Cairo code.