add logo

DES-Lab · Jun 19, 2024 · 3bca40d · 3bca40d
1 parent 54206d5
commit 3bca40d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,9 @@
+<picture>
+  <source media="(prefers-color-scheme: dark)" srcset="./logos/quint-logo-light.png">
+  <img alt="AALpy Logo" src="./logo.jpg" width=700>
+</picture>
+
+
 <div align="center">
     <h1 align="center">AALpy</h1>
     <p align="center">An Active Automata Learning Library</p>

diff --git a/logo.jpg b/logo.jpg