WDW

Automated theorem proving

Latest Activity

Latest Events

Tyrese Haliburton and Jade Jones
Tyrese Haliburton and Jade JonesMarriage - 21st Jul 2026by Redhot79
Thea Booysen and Jim Donaldson
Thea Booysen and Jim DonaldsonMarriage - 20th Jul 2026by TrickyBaby
Sarah Dugdale and Richard Harmon
Sarah Dugdale and Richard HarmonEngagement - 20th Jul 2026by missepticeye
Jessie J and Chanan Colman
Jessie J and Chanan ColmanBreakup - 20th Jul 2026by missepticeye
see more
Follow WDW on Facebook