Update README.md

formal-land · Feb 10, 2025 · cde64a8 · cde64a8
1 parent b4f2497
commit cde64a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Garden
 
-> A friendly framework to formally verify zero-knowledge systems
+> A friendly framework to formally verify zero-knowledge systems 🍀
 
 <p align="center">
   <img src="garden.svg" alt="logo" width="256" />