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

Tutorial world fully translated to French #95

Open ADedecker opened 4 years ago

ADedecker commented 4 years ago

Translation to French of level 4, which completes the tutorial world (although some minor improvements could still be made). I also changed the translation of "Tutorial World" from "Monde des tutoriels" to "Monde tutoriel" which seems more natural to me.

This is one of my first contribution on a big open source project, so let me know if I did anything wrong !