proofs
3 feeds in the directory cover this.
profkeithdevlin.org
Mathematics and other passions
Rado's Radical Reflections
Recent content on Rado's Radical Reflections
Proofs and Intuitions
A blog about mathematics, computing, formal verification, and the ideas behind them
Machine-readable: JSON · all topics