Remix.run Logo
overfeed 15 days ago

> Textbooks aren't just communicating theorems and proofs

Not even maths papers, which are vehicle for theorem's and proofs, are purely symbolic language and equations. Natural language prose is included when appropriate.