Skip to content

Add ja_jp translation - #137

Draft
virusbb001 wants to merge 151 commits into
leanprover-community:mainfrom
virusbb001:add-ja_JP-translation
Draft

virusbb001 wants to merge 151 commits into
leanprover-community:mainfrom
virusbb001:add-ja_JP-translation

Commits

Commits on Apr 13, 2026

Commits on Apr 24, 2026

Commits on Apr 25, 2026

Commits on Apr 26, 2026

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on May 1, 2026

Commits on May 2, 2026

Commits on May 3, 2026

Commits on May 5, 2026

Commits on May 16, 2026

Commits on May 19, 2026

Commits on May 21, 2026

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 28, 2026

Commits on May 30, 2026

Commits on Jun 1, 2026

Commits on Jun 20, 2026

Commits on Jul 1, 2026

Commits on Jul 4, 2026

Commits on Jul 8, 2026

Commits on Jul 13, 2026

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Commits on Jul 27, 2026

Commits on Jul 31, 2026

Commits on Aug 1, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 6, 2026

Commits on Aug 16, 2026

Commits on Aug 17, 2026

Commits on Sep 2, 2026