aconite-ac.github.io サイトについて Leanの日本語情報(非公式)を掲載します。 コンテンツ Theorem Proving in Lean 4 日本語訳 Leanのインストール方法・elanとLakeの使い方 管理者について HN : aconite Mail : aconitefield 🥀 gmail.com Other Website : aconite field (http://field.aconiteac.net) Twitter : @aconite_ac