Pure & constructive mathematics in theory and use
A promoção move este chat para o topo da página inicial e dos resultados de busca.
Cada usuário pode promover um chat uma vez a cada 2 horas. Um chat só pode ser promovido uma vez a cada 2 horas.
Saiba mais sobre promoções
Sobre este 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.
Faça login com o Telegram e channel? reivindique-o.