WDW

Large-scale mathematical formalization projects

    Latest Activity

    Latest Events

    Alaina Marie Scott and Matt Moeller
    Alaina Marie Scott and Matt MoellerChild - 14th Apr 2026by missepticeye
    Lane Johnson and Kelsey Holmer
    Lane Johnson and Kelsey HolmerMarriage - 12th Apr 2026by missepticeye
    Jessie Cave and Alfie Brown (i)
    Jessie Cave and Alfie Brown (i)Engagement - 12th Apr 2026by missepticeye
    Chase McWhorter and Hallie Batchelder
    Chase McWhorter and Hallie BatchelderHookup - 12th Apr 2026by missepticeye
    see more
    Follow WDW on Facebook