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

Latest revision as of 12:39, 23 February 2017

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

TranslationIntégration HoTT

Intégration HoTT

Revision as of 22:28, 22 February 2017 (view source) Jocelynr (Talk \| contribs) (Created page with "Intégration Hott")		Latest revision as of 12:39, 23 February 2017 (view source) Admin (Talk \| contribs)
Line 1:		Line 1:
−	Intégration ~~Hott~~	+	Intégration HoTT

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

Latest revision as of 12:39, 23 February 2017

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools