diff --git a/README.md b/README.md index 299575f..0089afa 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # CoqBan +![school_class_woman](https://github.com/proof-ninja/coqban/assets/188149/1f6d1acb-3c02-481f-98d9-85e2757144f0) + [![Coqban CI](https://github.com/proof-ninja/coqban/actions/workflows/coqban-ci.yml/badge.svg)](https://github.com/proof-ninja/coqban/actions/workflows/coqban-ci.yml) [![Deploy to GitHub Pages](https://github.com/proof-ninja/coqban/actions/workflows/deploy-to-ghpages.yml/badge.svg)](https://github.com/proof-ninja/coqban/actions/workflows/deploy-to-ghpages.yml)