Telegram Description
From Telegram

Just resources about fundamental mathematics, type theory, their use in programming mostly.Contact: @megamanisepicBecoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.

No reviews yet. Be the first to review this channel.

Write a Review

Similar Programming Telegram Channels
← All Programming Telegram Channels

Frequently Asked Questions

What is Pure & constructive mathematics in theory and use?

Pure & constructive mathematics in theory and use is a public Telegram channel with 501 subscribers.

How do I join Pure & constructive mathematics in theory and use?

Click the Join button on this page. You will be redirected to Telegram where you can join instantly without an invitation.

Is Pure & constructive mathematics in theory and use still active?

The status shown reflects data from our last database update.