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

Revision as of 14:49, 14 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

TranslationHoTT Integration/it

HoTT Integration/it

Revision as of 15:27, 12 January 2021 (view source) DaniloB (Talk \| contribs) (Created page with "Integrazione Hott")		Revision as of 14:49, 14 January 2021 (view source) DaniloB (Talk \| contribs) Newer edit →
Line 1:		Line 1:
−	~~Integrazione Hott~~	+	HoTT Integration/it

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

Revision as of 14:49, 14 January 2021

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools