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
Jade van Vliet and Kenneth Taylor
Engagement - 1st Jun 2026
by missepticeye
Callum Turner and Dua Lipa
Marriage - 31st May 2026
by TrickyBaby
Zachariah Porter and Jonathan Carson
Engagement - 31st May 2026
by missepticeye
Charo Walop and Lex
Child - 30th May 2026
by missepticeye
see more
Follow WDW on Facebook
