Repositories list

• lean-by-example

  Public
  コード例で学ぶ Lean 言語

  functional-programmingtheorem-provingcheatsheet+ 3leanmdbooklean4

  Lean

  •

  MIT License

  •7•48•348•0•Updated Nov 19, 2024Nov 19, 2024

• zenn.dev

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

  1•0•1•0•Updated Nov 17, 2024Nov 17, 2024

• reference-manual-ja

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

  JavaScript

  •

  Apache License 2.0

  •0•2•0•1•Updated Nov 11, 2024Nov 11, 2024

• lean99

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

  functional-programmingleanlean4

  Lean

  •

  Apache License 2.0

  •3•14•2•0•Updated Nov 8, 2024Nov 8, 2024

• lean4-metaprogramming-book-ja

  Public
  Metaprogramming in Lean 4の日本語訳

  Lean

  •

  Apache License 2.0

  •0•1•0•0•Updated Nov 4, 2024Nov 4, 2024

• mathematics_in_lean_source

  Public
  「Mathematics in Lean tutorial」の和訳.

  mathematicsleanjapanese-translation+ 1lean4

  Lean

  •70•5•1•0•Updated Nov 4, 2024Nov 4, 2024

• type_checking_in_lean4_ja

  Public
  Type Checking in Lean 4の日本語訳

  Apache License 2.0

  •0•1•0•0•Updated Nov 4, 2024Nov 4, 2024

• fp-lean-ja

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

  leanmdbooktheorem-prover+ 2japanese-translationslean4

  Lean

  •

  Other

  •2•8•3•1•Updated Sep 14, 2024Sep 14, 2024

• tactic-cheatsheet

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

  HTML

  •0•0•0•0•Updated Jun 26, 2024Jun 26, 2024

• lean-by-example-legacy

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

  leanlean4

  Lean

  •

  Apache License 2.0

  •1•6•0•0•Updated Jun 18, 2024Jun 18, 2024

• lean-ja.github.io

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

  juicezolaorganization-page

  HTML

  •

  MIT License

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• .github

  Public
  0•0•0•0•Updated May 29, 2024May 29, 2024

• bct

  Public
  WIP: work in progress

  Lean

  •1•3•0•0•Updated Apr 19, 2024Apr 19, 2024

• math-in-type-theory-ja

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

  leanmdbookjapanese-translations+ 1lean4

  Handlebars

  •

  MIT License

  •2•3•0•0•Updated Nov 23, 2023Nov 23, 2023

• tactic-cheetsheet

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

  HTML

  •0•0•0•0•Updated Nov 23, 2023Nov 23, 2023

• lean-sublime-syntax

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

  syntax-highlightingleanzola+ 1lean4

  1•0•0•0•Updated Oct 30, 2023Oct 30, 2023

• xena-ja

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

  MIT License

  •0•0•0•0•Updated Oct 9, 2023Oct 9, 2023

• discussion

  Public
  0•0•0•0•Updated Sep 5, 2023Sep 5, 2023