Skip to content

fix: translate Infoview descriptions - #545

Merged
joneugster merged 1 commit into
leanprover-community:mainfrom
micuele:fix/translate-infoview-description
Sep 1, 2026
Merged

fix: translate Infoview descriptions#545
joneugster merged 1 commit into
leanprover-community:mainfrom
micuele:fix/translate-infoview-description

fix: translate Infoview exercise descriptions

7415e50
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs