Difference between revisions of "Translations:Main Page/56/it"

Latest revision as of 15:47, 15 January 2021

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (Main Page)

HoTT Integration

HoTT Integration

TranslationIntegrazione HoTT

Integrazione HoTT

Revision as of 15:27, 12 January 2021 (view source) DaniloB (Talk \| contribs) (Created page with "Integrazione Hott")		Latest revision as of 15:47, 15 January 2021 (view source) DaniloB (Talk \| contribs)
(2 intermediate revisions by the same user not shown)
Line 1:		Line 1:
−	Integrazione ~~Hott~~	+	Integrazione HoTT

Difference between revisions of "Translations:Main Page/56/it"

Latest revision as of 15:47, 15 January 2021

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools