Skip to content
@lean-ja

lean-ja

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

LEAN JA

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

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

Pinned

  1. tactic-cheatsheet tactic-cheatsheet Public

    Lean4 の逆引きタクティクリスト

    Lean 14 5

  2. mathematics_in_lean_source mathematics_in_lean_source Public

    Forked from avigad/mathematics_in_lean_source

    「Mathematics in Lean tutorial」の和訳（作業中）.

    Lean 2 1

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

    Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

    Lean 4 1

  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 11

  6. lean-by-example lean-by-example Public

    Lean の基本的な構文や機能を紹介するためのサンプルコード集です．(WIP)

    Lean 6 1

Repositories

Showing 10 of 14 repositories
View all repositories