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.
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.