Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

READMEのリンク集の説明を更新 #40

Merged
merged 3 commits into from
Jul 6, 2024
Merged

READMEのリンク集の説明を更新 #40

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
2841a55
READMEのリンク集の説明を更新
Seasawher Jul 5, 2024
4482781
リンク集更新
Seasawher Jul 6, 2024
7a6da6a
Update README.md
Seasawher Jul 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ Leanの基礎的な使い方や命題論理について

- [A mathlib overview](https://leanprover-community.github.io/mathlib-overview.html)では、Leanの数学ライブラリmathlibで扱われている数学を概観できます。

- [タクティク逆引きリスト](https://lean-ja.github.io/tactic-cheatsheet/)は、Mathlibで使用できるタクティクやコマンドが使い方から逆引きできるようにまとめられた，**日本語の**資料です。
- [Lean by Example](https://lean-ja.github.io/lean-by-example/)は、Lean言語に関する**日本語**リファレンスです。定理証明をサポートするタクティクの紹介に加えて、各種コマンドも説明されています。初心者が調べるときに使いやすいよう、理論的な説明は最小限にとどめられ、コード例が豊富に紹介されています。

## 開発者向け情報

Expand Down
Loading