Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Italian translation of NNG4 #84

Open
wants to merge 36 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 23 commits
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
f1edd9b
begin translation
dalps Nov 16, 2024
acd9027
continue
dalps Nov 26, 2024
768e682
Progress
dalps Dec 1, 2024
d842cac
begin translating Addition world
dalps Dec 2, 2024
ceefeba
Progress
dalps Dec 3, 2024
c1cf58a
Copy original to untranslated and mark as fuzzy
dalps Dec 3, 2024
1463d18
most of Power World
dalps Dec 3, 2024
a3fca43
start translating Implication World
dalps Dec 4, 2024
e033d07
continue Implication World
dalps Dec 5, 2024
944ab01
continue Implication World
dalps Dec 9, 2024
c582bc9
translate Algorithm World
dalps Dec 12, 2024
b05dfc9
translate Advanced Addition World
dalps Dec 13, 2024
35e54f0
start Inequality World
dalps Dec 30, 2024
157db9c
continue Inequality World
dalps Jan 4, 2025
fac16b5
substitute with js script
dalps Jan 4, 2025
45ef692
translate Inequality World
dalps Jan 4, 2025
9fcd7e1
Merge branch 'main' of https://github.com/leanprover-community/NNG4
dalps Jan 4, 2025
eebf689
traslate Advanced Multiplication World
dalps Jan 4, 2025
5f91049
last few messages
dalps Jan 5, 2025
0f01324
a few corrections
dalps Jan 5, 2025
9c0ea10
credits
dalps Jan 5, 2025
6d9eec6
add generated json
dalps Jan 5, 2025
92a1892
clean up Tutorial World
dalps Jan 13, 2025
814a7bb
Update .i18n/it/Game.json
dalps Feb 4, 2025
a6ef66b
Update .i18n/it/Game.json
dalps Feb 4, 2025
1c49a57
Update .i18n/it/Game.json
dalps Feb 4, 2025
9df1717
Update .i18n/it/Game.json
dalps Feb 4, 2025
0f2a9e4
Update .i18n/it/Game.json
dalps Feb 4, 2025
644dbec
reflect corrections in Game.po
dalps Feb 4, 2025
a426cf5
review Addition World
dalps Feb 4, 2025
d297bff
review Multiplication World
dalps Feb 7, 2025
cf82737
review Implication World
dalps Feb 7, 2025
0491c4e
review Power World
dalps Feb 9, 2025
6fc314b
go over Advanced Addition and >= worlds
dalps Feb 9, 2025
05dd52e
review Algorithm World, intro
dalps Feb 9, 2025
e695f17
nitpicking
dalps Feb 11, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading