Pure & constructive mathematics in theory and use
Bumping verschiebt diesen Chat an die Spitze der Homepage und der Suchergebnisse.
Jeder Benutzer kann einen Chat alle 2 Stunden bumpen. Ein Chat kann nur einmal alle 2 Stunden gebumpt werden.
Mehr über Bumps erfahren
Über diesen 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.
Mit Telegram anmelden und channel? beanspruchen.