Added german translation

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Apache License 2.0

292 stars 73 forks source link

Open Lelidle opened 2 years ago

Lelidle commented 2 years ago

Added a rudimentary german translation for all levels - has to be looked over at some point, especially regarding spelling.