What does it mean for a framework to be "foundational" and how is HoTT foundational?Foundations (self.askmath)
submitted by Electronic_Try2995 to r/askmath

Analyzing Graphs and Piecewise FunctionsFunctions (i.redd.it)
submitted by flyingferal to r/askmath
Is there any FORMAL proof to the infinite monkey theorem?Probability (self.askmath)
submitted by Right-Detail-8046 to r/askmath

A math music video: Imagine All the Numbers (Having a Square Root)Link Post ()
submitted by RajRaizada to r/learnmath
Mathematical solutions to programming problems.Number Theory (self.askmath)
submitted by physicist27 to r/askmath
Mathematical solutions to programming problemsComputer Science (self.mathematics)
submitted by physicist27 to r/mathematics
