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

Latest revision as of 10:11, 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

TranslationHoTT Integration

HoTT Integration

Revision as of 11:47, 6 July 2020 (view source) PSzakra (Talk \| contribs) ← Older edit		Latest revision as of 10:11, 15 January 2021 (view source) FuzzyBot (Talk \| contribs) (Importing a new version from external source)
Line 1:		Line 1:
−	HoTT ~~Integráció~~	+	HoTT Integration

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

Latest revision as of 10:11, 15 January 2021

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools