lean-ja

lean-by-example

コード例で学ぶ Lean 言語

lean99

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

fp-lean-ja

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

lean-by-example-legacy

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

mathematics_in_lean_source

「Mathematics in Lean tutorial」の和訳.

bct

WIP: work in progress

lean-sublime-syntax

sublime syntax file of lean4 (for syntax highlight of lean4 code in websites built by Zola)

math-in-type-theory-ja

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

tactic-cheetsheet

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

lean-problems

Lean の演習問題集

reference-manual-ja

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

lean4-metaprogramming-book-ja

Metaprogramming in Lean 4の日本語訳

type_checking_in_lean4_ja

Type Checking in Lean 4の日本語訳

.github

discussion

lean-ja.github.io

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

tactic-cheatsheet

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

xena-ja

xena のいくつかの記事の非公式日本語訳を集めたものです（注意：現在は Zenn に移管されました）

zenn.dev

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