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.
Common questions about Pure & constructive mathematics in theory and use
Pure & constructive mathematics in theory and use is a Telegram channel with 454 subscribers. On this page you can find the channel link, reviews, ratings and detailed statistics.
Click the "Go to the channel" button on this page or search for @typetheoryinprogramming in the Telegram app. You can also copy the channel username and paste it into the Telegram search bar.
Yes, Pure & constructive mathematics in theory and use is a free Telegram channel. You can subscribe and read all posts without any payment.
Pure & constructive mathematics in theory and use currently has 454 subscribers. The subscriber count is updated regularly.
Pure & constructive mathematics in theory and use primarily publishes content in English. To read the posts themselves, open the channel in Telegram via the link on this page.
Yes, you can find similar Education channels in the "Similar Channels" section below. We also show related Telegram groups, bots and stickers.
Without subscribing you can see the description of Pure & constructive mathematics in theory and use, its subscriber count, reviews and statistics on this page. The posts themselves stay in Telegram — open the channel via the link to read them.
P
