1. 3
    Avi Wigderson Named 2023 ACM Turing Award Winner compsci formalmethods math awards.acm.org
    thesnowmancometh avatar via thesnowmancometh 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments