diff --git a/README.md b/README.md
index 823fab2..723f36f 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
+[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) [![GPL-3.0](https://img.shields.io/github/license/formalsec/ocaml-cvc5)](LICENSE) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
 
 ocaml-cvc5 
 ===============================================================================
@@ -44,4 +44,4 @@ Run examples with:
 dune exec -- examples/toy.exe  #replace toy with any other example
 ```
 
-[cvc5]: https://github.com/cvc5/cvc5
\ No newline at end of file
+[cvc5]: https://github.com/cvc5/cvc5