Popular repositories Loading

1. theorem_proving_in_lean4 theorem_proving_in_lean4 Public

   Forked from leanprover/theorem_proving_in_lean4

   Theorem Proving in Lean 4 日本語訳

   JavaScript 18 3

2. how_to_install_lean how_to_install_lean Public

   Leanのインストール方法・elanとLakeの使い方

   JavaScript 4 1

3. aconite-ac.github.io aconite-ac.github.io Public

   自身の哲学探究サイト『束跡』をホストしたり、Leanの日本語情報(非公式)を掲載したりしています。

   HTML 1

4. math-in-type-theory-ja math-in-type-theory-ja Public

   Forked from lean-ja/math-in-type-theory-ja

   Xena の記事「Mathematics in type theory」の非公式日本語訳です

   Handlebars

5. lean-math-workshop-fork lean-math-workshop-fork Public

   Forked from yuma-mizuno/lean-math-workshop

   Lean