CONSTRUCTIVE

Find and join popular Telegram channels and groups tagged with CONSTRUCTIVE. Connect with communities that match your interests.
Submit new Telegram

Languages

Sort By

Pure & constructive mathematics in theory and use

542 members

@typetheoryinprogramming

PURE CONSTRUCTIVE MATHEMATICS THEORY RESOURCES

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.

JOIN

Showing 1 chats