Skip to content

add German translation - #162

Merged
kbuzzard merged 23 commits into
leanprover-community:mainfrom
Ljon4ik4:German_translation_added
Oct 5, 2026
Merged

kbuzzard merged 23 commits into
leanprover-community:mainfrom
Ljon4ik4:German_translation_added

co-credit MZ for German translation

84a56d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Oct 5, 2026 in 4m 21s