Pure & constructive mathematics in theory and use
Il bump sposta questa chat in cima alla homepage e ai risultati di ricerca.
Ogni utente può fare bump di una chat una volta ogni 2 ore. Una chat può ricevere bump solo una volta ogni 2 ore.
Scopri di più sui bump
Informazioni su questo 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.
Accedi con Telegram e channel? reclamalo.