Repository navigation

add German translation - #162

Merged

kbuzzard merged 23 commits into

leanprover-community:mainfrom

Ljon4ik4:German_translation_added

Oct 5, 2026

Commits on Jul 24, 2026

claude opus generated translation added
Ljon4ik4
committed
1febb16
updating Game.lean
Ljon4ik4
committed
4ea9e61
reformatted using PO-Edit and Lokalize
Ljon4ik4
committed
05534a1

Commits on Jul 26, 2026

manually edited po-file
Ljon4ik4
committed
3c3b655
minor changes
Ljon4ik4
committed
67dc145
minor fixed while playing, tutorial-world completed
Ljon4ik4
committed
2fc8ba4
minor fixed while playing, add-world completed
Ljon4ik4
committed
3e194ec
quotation marks fixed
Ljon4ik4
committed
8cd3d49
certain uncertainties removed
Ljon4ik4
committed
2177457

Commits on Aug 6, 2026

Translation added (checked for core game, i.e. up to the power world)
Ljon4ik4
committed
cfb697e

Commits on Aug 8, 2026

playthrough completed
Ljon4ik4
committed
ce16805
full complete and checked translation
Ljon4ik4
committed
d2f1f9e
minor corrections
Ljon4ik4
committed
91196d4
updated the po entries to match Game, not the (old) pot
Ljon4ik4
committed
adfd282

Commits on Aug 9, 2026

minor corrections
Ljon4ik4
committed
2f8e7fb

Commits on Sep 9, 2026

review German translation
TentativeConvert
committed
156aefb
minor edit
TentativeConvert
committed
b1b7857
add glossary
TentativeConvert
committed
2c93f8b

Commits on Sep 11, 2026

Commits on Oct 5, 2026

co-credit MZ for German translation
TentativeConvert
committed
84a56d0