Skip to content
@lean-ja

lean-ja

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

LEAN JA

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

ご興味ある方は， ぜひ Discord サーバへおいでください．

Pinned Loading

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

    コード例で学ぶ Lean 言語

    Lean 58 8

  2. mathematics_in_lean_source mathematics_in_lean_source Public

    Forked from avigad/mathematics_in_lean_source

    「Mathematics in Lean tutorial」の和訳.

    Lean 5 1

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

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

    Lean 8 2

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

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

    Handlebars 3 2

  5. lean99 lean99 Public

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

    Lean 14 3

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

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

    Lean 6 1

Repositories

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

    コード例で学ぶ Lean 言語

    lean-ja/lean-by-example’s past year of commit activity
    Lean 58 MIT 8 388 (11 issues need help) 0 Updated Dec 16, 2024
  • reference-manual-ja Public

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

    lean-ja/reference-manual-ja’s past year of commit activity
    JavaScript 2 Apache-2.0 0 0 0 Updated Dec 15, 2024
  • fp-lean-ja Public

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

    lean-ja/fp-lean-ja’s past year of commit activity
    Lean 8 2 3 0 Updated Dec 14, 2024
  • lean99 Public

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

    lean-ja/lean99’s past year of commit activity
    Lean 14 Apache-2.0 3 0 0 Updated Dec 12, 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
  • zenn.dev Public

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

    lean-ja/zenn.dev’s past year of commit activity
    0 1 1 0 Updated Nov 17, 2024
  • lean4-metaprogramming-book-ja Public

    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
  • mathematics_in_lean_source Public Forked from avigad/mathematics_in_lean_source

    「Mathematics in Lean tutorial」の和訳.

    lean-ja/mathematics_in_lean_source’s past year of commit activity
    Lean 5 70 1 0 Updated Nov 4, 2024
  • type_checking_in_lean4_ja Public

    Type Checking in Lean 4の日本語訳

    lean-ja/type_checking_in_lean4_ja’s past year of commit activity
    1 Apache-2.0 0 0 0 Updated Nov 4, 2024
  • tactic-cheatsheet Public

    リダイレクト用のリポジトリ

    lean-ja/tactic-cheatsheet’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 26, 2024
View all repositories

Top languages

Loading…