popular
trending
lists
login
Mathematical proofs
Article proofs
Automated theorem proving
Computer-assisted proofs
Conjectures which were proven
Mathematical fallacies
Large-scale mathematical formalization projects
Mathematical induction
Model theory
Proof techniques
Proof theory
Proof without words
Latest Activity
Latest Events
Paulien Cornelisse and Chris Bajema
Breakup - 30th Sep 2026
by missepticeye
Lil' Wayne and Madi Cannon
Engagement - 29th Sep 2026
by missepticeye
Paul 'Pauly D' DelVecchio and Nikki Hall (personality)
Engagement - 27th Sep 2026
by Redhot79
Nathan Osmond and Annalee Lundell
Engagement - 27th Sep 2026
by missepticeye
see more
Follow WDW on Facebook
