プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
Warning
本書は現在開発中であり、各ページのURLが予告なく変更され、リダイレクトも設定されないということがあり得ます。リンク切れを避けるには、個別ページではなくトップページにリンクを張るようにしてください。
誤りの指摘、編集の提案や寄稿を歓迎いたします。この GitHubリポジトリに issue や Pull Request を開いてください。開発環境が構築済みの Codespace を使用することができます。
CONTRIBUTINGに開発者向けの情報をまとめてあるので、そちらをご確認ください。
Thank you for your interest in translating this book! 😄 But please note that we are currently not accepting translations of this book because this book is still under development! No content is stable yet.
If you use this book for your work, please cite it as follows:
@misc{leanbyexample,
title = {Lean by {E}xample},
url = {https://lean-ja.github.io/lean-by-example/},
author = {The lean-ja community},
note = {Accessed on Month Day, Year},
}当 Web サイトでは、ユーザーのアクセス状況の分析のために Google アナリティクスを使用しています。Google アナリティクスは、 Cookie を利用してユーザーのWebサイト利用情報を収集しますが、これは匿名化されており、個人を特定する情報は収集されません。 当サイトでの Google アナリティクスの利用に関する詳細については、以下の Google の公式ページでご確認いただけます。
このプロジェクトは Proxima Technology 様よりご支援を頂いています。
Proxima Technology（プロキシマテクノロジー）は数学の社会実装を目指し、その⼀環としてモデル予測制御の民主化を掲げているAIスタートアップ企業です。数理科学の力で社会を変えることを企業の使命としています。