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

Merge pull request 5 from virusbb001/ja_JP-improve-implication-transl…

96b558a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Sep 19, 2026 in 3m 43s