A walkthrough of how to use a proof assistant for a very simple result.

Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.

The Anomalous Mathematical Patterns Sci-Art Contest was held as part of the Stochastic systems for anomalous diffusion research program at the Isaac Newton Institute.

The harmonic series look simple. But, perhaps breaking your intuition, grows without bound!

The surprising physics of stacking coins.