Skip to content
@lean-ja

lean-ja

lean-ja は、Leanに関する情報の交換と集積を目的とした日本語コミュニティです。
README.md

LEAN JA

lean-jaは、Leanに関する情報の交換と集積を目的とした日本語コミュニティです。

Pinned Loading

  1. lean-by-example lean-by-example Public

    コード例で学ぶ Lean 言語

    Lean 186 14

  2. mathematics_in_lean_source mathematics_in_lean_source Public archive

    Forked from avigad/mathematics_in_lean_source

    「Mathematics in Lean tutorial」の和訳.

    Lean 5 1

  3. fp-lean-ja fp-lean-ja Public archive

    Functional Programming in Lean の日本語訳. 演習問題への解答を含みます

    Lean 12 4

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

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

    Handlebars 3 3

  5. lean99 lean99 Public archive

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

    Lean 16 4

  6. lean-by-example-legacy lean-by-example-legacy Public archive

    Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）

    Lean 6 1

Repositories

Showing 10 of 19 repositories
  • lean-by-example Public

    コード例で学ぶ Lean 言語

    lean-ja/lean-by-example's past year of commit activity
    Lean 186 14 577 0 Updated Sep 7, 2026
  • .github Public
    lean-ja/.github's past year of commit activity
    0 0 0 0 Updated Jun 6, 2026
  • lean-ja.github.io Public

    lean-ja の団体トップページ

    lean-ja/lean-ja.github.io's past year of commit activity
    HTML 1 MIT 1 0 0 Updated Jun 5, 2026
  • lean99 Public archive

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

    lean-ja/lean99's past year of commit activity
    Lean 16 Apache-2.0 4 0 0 Updated Feb 28, 2025
  • lean-problems Public archive

    Lean の演習問題集

    lean-ja/lean-problems's past year of commit activity
    Lean 2 Apache-2.0 0 0 0 Updated Feb 14, 2025
  • reference-manual-ja Public archive

    「The Lean Language Reference」の日本語訳（作業中）

    lean-ja/reference-manual-ja's past year of commit activity
    JavaScript 2 Apache-2.0 0 0 0 Updated Jan 4, 2025
  • zenn.dev Public

    Zennと連携するためのリポジトリ

    lean-ja/zenn.dev's past year of commit activity
    0 1 1 0 Updated Dec 17, 2024
  • fp-lean-ja Public archive

    Functional Programming in Lean の日本語訳. 演習問題への解答を含みます

    lean-ja/fp-lean-ja's past year of commit activity
    Lean 12 4 3 0 Updated Dec 14, 2024
  • lean-by-example-legacy Public archive

    Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）

    lean-ja/lean-by-example-legacy's past year of commit activity
    Lean 6 Apache-2.0 1 0 0 Updated Nov 29, 2024
  • lean4-metaprogramming-book-ja Public archive

    Metaprogramming in Lean 4の日本語訳

    lean-ja/lean4-metaprogramming-book-ja's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Nov 4, 2024
View all repositories