| snapshot-2019-10 | 2019-10-03 | 2094 | Mario Carneiro (371), Johannes Hölzl (369), Chris Hughes (255), Scott Morrison (175), Simon Hudon (138), Johan Commelin (84), Reid Barton (79), sgouezel (75), Patrick Massot (72), Rob Lewis (63), Kenny Lau (45), Yury G. Kudryashov (43), Sean Leather (41), Floris van Doorn (41), Kevin Buzzard (32), Jeremy Avigad (31), kckennylau (24), Keeley Hoek (18), Minchao (17), Minchao Wu (16), Gabriel Ebner (13), Zhouhang Zhou (9), Kevin Kappelmann (9), Bryan Gin-ge Chen (9), Leonardo de Moura (6), Alexander Bentkamp (6), Abhimanyu Pallavi Sudhir (6), Jesse Michael Han (4), Sebastian Ullrich (3), Neil Strickland (3), Michael-Howes (3), Jean Lo (3), Jan-David (3), Amelia Livingston (3), skbaek (2), Tobias Grosser (2), Ramon Fernández (2), Casper Putz (2), guy (1), faabian (1), amswerdlow (1), aarondroidbryce (1), Wojciech Nawrocki (1), Vierkantor (1), Sebastian Zimmer (1), Sander R. Dahmen (1), Paul-Nicolas Madelaine (1), Lucas Allen (1), Louis Carlin (1), Koundinya Vajjha (1), Johan M. Commelin (1), Jan-David Salchow (1), Callum Sutton (1), Calle Sönne (1), Alistair Tucker (1) |