From ba6e28639aeff806fb69ce25b43ce3665a0d3773 Mon Sep 17 00:00:00 2001 From: YOSHIHIRO Imai Date: Tue, 31 Oct 2023 16:03:15 +0900 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) 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)