From 679346fac1c978a9bd3746fa6193144b24a1a172 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Mon, 19 Aug 2024 00:04:41 +0900 Subject: [PATCH] =?UTF-8?q?Discord=20=E3=81=AE=E6=8B=9B=E5=BE=85=E3=83=9C?= =?UTF-8?q?=E3=82=BF=E3=83=B3=E3=82=92=E5=BE=A9=E6=B4=BB=E3=81=95=E3=81=9B?= =?UTF-8?q?=E3=82=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 17e298d3..bc4e1fab 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ [![repo logo](./src/image/project_image.png)]() -[![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/ci.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/ci.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/deploy.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/deploy.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/update.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/update.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/devcontainer.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/devcontainer.yml) +[![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/ci.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/ci.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/deploy.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/deploy.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/update.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/update.yml) [![workflow](https://github.com/lean-ja/lean-by-example/actions/workflows/devcontainer.yml/badge.svg)](https://github.com/lean-ja/lean-by-example/blob/main/.github/workflows/devcontainer.yml) [![discord](https://dcbadge.limes.pink/api/server/p32ZfnVawh?style=flat)](https://discord.gg/p32ZfnVawh) プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。