Pure & constructive mathematics in theory and use
La promotion déplace ce chat en haut de la page d'accueil et des résultats de recherche.
Chaque utilisateur peut promouvoir un chat une fois toutes les 2 heures. Un chat ne peut être promu qu'une fois toutes les 2 heures.
En savoir plus sur les promotions
À propos de ce channel
Just resources about fundamental mathematics, type theory, their use in programming mostly. Contact: @megamanisepic Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Connectez-vous avec Telegram et channel? réclamez-le.