update

Author: ngmachado

README.md

@@ -186,7 +186,7 @@ zig build formal-verification-demo
 
 ## License
 
-[License information here]
+This project is licensed under the GPL-3.0 License - see the [LICENSE](LICENSE) file for details.
 
 ## Documentation