Update README.md

proof-ninja · Oct 31, 2023 · ba6e286 · ba6e286
1 parent 4f4c7cd
commit ba6e286
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)