Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
javra authored Nov 13, 2023
1 parent 99e1297 commit b7f49e5
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
# Aegis

![Aegis logo](http://github.com/lindy-labs/aegis/blob/main/images/logo_white.png)
<img src="./images/logo_white.png" alt="" width="500" >

Aegis is a tool for the verification of Cairo code.

Expand Down

0 comments on commit b7f49e5

Please sign in to comment.