lean-ja/lean-problems

Lean の演習問題集

Language: Lean - Size: 224 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

lean-ja/.github

Size: 129 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

lean-ja/lean-ja.github.io

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

Language: HTML - Size: 94.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

lean-ja/reference-manual-ja

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

Language: JavaScript - Size: 21.4 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

lean-ja/zenn.dev

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

Size: 84 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

lean-ja/fp-lean-ja

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

Language: Lean - Size: 1.24 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 2

lean-ja/lean-by-example-legacy 📦

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

Language: Lean - Size: 169 KB - Last synced at: 8 days ago - Pushed at: 6 months ago - Stars: 6 - Forks: 1

lean-ja/mathematics_in_lean_source Fork of avigad/mathematics_in_lean_source

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

Language: Lean - Size: 1.24 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

lean-ja/type_checking_in_lean4_ja

Type Checking in Lean 4の日本語訳（作業中）

Size: 94.7 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

lean-ja/lean99

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

Language: Lean - Size: 231 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 14 - Forks: 3

lean-ja/lean4-metaprogramming-book-ja

Metaprogramming in Lean 4の日本語訳（作業中）

Language: Lean - Size: 582 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

lean-ja/tactic-cheatsheet

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

Language: Lean - Size: 532 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 4

lean-ja/bct

WIP: work in progress

Language: Lean - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

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

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

Language: Handlebars - Size: 1.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

lean-ja/lean-sublime-syntax

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

Size: 1.95 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lean-ja/xena-ja

xena のいくつかの記事の非公式日本語訳を集めたものです

Size: 1.12 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lean-ja/leanja

Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0