Jeremy Avigad on Proof from Euclid to Lean

Subscribe to National Museum of Mathematics.

And beyond? See Emily Riehl on Univalent Foundations.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

Steven Johnson - So You Think You Know How to Take Derivatives?