Code

Italian translation of NNG4#84

Code

Open

dalps wants to merge 36 commits intoleanprover-community:mainleanprover-community/NNG4:mainfrom dalps:maindalps/NNG4:mainCopy head branch name to clipboard

Commits

Commits on Nov 16, 2024

• begin translation

  dalps

  committed
  f1edd9b

  Copy full SHA for f1edd9b

Commits on Nov 26, 2024

• continue

  dalps

  committed
  acd9027

  Copy full SHA for acd9027

Commits on Dec 1, 2024

• Progress

  dalps

  committed
  768e682

  Copy full SHA for 768e682

Commits on Dec 2, 2024

• begin translating Addition world

  dalps

  committed
  d842cac

  Copy full SHA for d842cac

Commits on Dec 3, 2024

• Progress

  dalps

  committed
  ceefeba

  Copy full SHA for ceefeba

• Copy original to untranslated and mark as fuzzy

  dalps

  committed
  c1cf58a

  Copy full SHA for c1cf58a

• most of Power World

  dalps

  committed
  1463d18

  Copy full SHA for 1463d18

Commits on Dec 4, 2024

• start translating Implication World

  dalps

  committed
  a3fca43

  Copy full SHA for a3fca43

Commits on Dec 5, 2024

• continue Implication World

  dalps

  committed
  e033d07

  Copy full SHA for e033d07

Commits on Dec 9, 2024

• continue Implication World

  dalps

  committed
  944ab01

  Copy full SHA for 944ab01

Commits on Dec 12, 2024

• translate Algorithm World

  dalps

  committed
  c582bc9

  Copy full SHA for c582bc9

Commits on Dec 13, 2024

• translate Advanced Addition World

  dalps

  committed
  b05dfc9

  Copy full SHA for b05dfc9

Commits on Dec 30, 2024

• start Inequality World

  dalps

  committed
  35e54f0

  Copy full SHA for 35e54f0

Commits on Jan 4, 2025

• continue Inequality World

  dalps

  committed
  157db9c

  Copy full SHA for 157db9c

• substitute with js script

  dalps

  committed
  fac16b5

  Copy full SHA for fac16b5

• translate Inequality World

  dalps

  committed
  45ef692

  Copy full SHA for 45ef692

• Merge branch 'main' of https://github.com/leanprover-community/NNG4

  dalps

  committed
  9fcd7e1

  Copy full SHA for 9fcd7e1

• traslate Advanced Multiplication World

  dalps

  committed
  eebf689

  Copy full SHA for eebf689

Commits on Jan 5, 2025

• last few messages

  dalps

  committed
  5f91049

  Copy full SHA for 5f91049

• a few corrections

  dalps

  committed
  0f01324

  Copy full SHA for 0f01324

• credits

  dalps

  committed
  9c0ea10

  Copy full SHA for 9c0ea10

• add generated json

  dalps

  committed
  6d9eec6

  Copy full SHA for 6d9eec6

Commits on Jan 13, 2025

• clean up Tutorial World

  dalps

  committed
  92a1892

  Copy full SHA for 92a1892

Commits on Feb 4, 2025

• Update .i18n/it/Game.json

  Show description for 814a7bb
  

  dalps

  and

  riccardobrasca

  authored
  814a7bb

  Copy full SHA for 814a7bb

• Update .i18n/it/Game.json

  Show description for a6ef66b
  

  dalps

  and

  riccardobrasca

  authored
  a6ef66b

  Copy full SHA for a6ef66b

• Update .i18n/it/Game.json

  Show description for 1c49a57
  

  dalps

  and

  riccardobrasca

  authored
  1c49a57

  Copy full SHA for 1c49a57

• Update .i18n/it/Game.json

  Show description for 9df1717
  

  dalps

  and

  riccardobrasca

  authored
  9df1717

  Copy full SHA for 9df1717

• Update .i18n/it/Game.json

  Show description for 0f2a9e4
  

  dalps

  and

  riccardobrasca

  authored
  0f2a9e4

  Copy full SHA for 0f2a9e4

• reflect corrections in Game.po

  dalps

  committed
  644dbec

  Copy full SHA for 644dbec

• review Addition World

  dalps

  committed
  a426cf5

  Copy full SHA for a426cf5

Commits on Feb 7, 2025

• review Multiplication World

  dalps

  committed
  d297bff

  Copy full SHA for d297bff

• review Implication World

  dalps

  committed
  cf82737

  Copy full SHA for cf82737

Commits on Feb 9, 2025

• review Power World

  dalps

  committed
  0491c4e

  Copy full SHA for 0491c4e

• go over Advanced Addition and >= worlds

  dalps

  committed
  6fc314b

  Copy full SHA for 6fc314b

Commits on Feb 11, 2025

• review Algorithm World, intro

  dalps

  committed
  05dd52e

  Copy full SHA for 05dd52e

• nitpicking

  dalps

  committed
  e695f17

  Copy full SHA for e695f17