Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Anand
Jupiter-is-BIG
4th year student at University of British Columbia, Major in Computer Science and Minor in Data Science.
London, UK
Zoltán Kovács
kovzol
Assistant professor at The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training (Austria)
The Private University College of Education of the Diocese of Linz Linz, Austria
Gabriel Ong
wgabrielong
I am master's student in mathematics at the University of Bonn interested in algebraic geometry, broadly construed.
Bonn, North Rhine-Westphalia
Simon Martina-Perez
simonmape
Doctoral candidate at the Wolfson Centre for Mathematical Biology, University of Oxford
University of Oxford
Yuhang "Eric" Wei
EricWay1024
Competitive programming tutor. Mathematics graduate with an Oxford MSc and a Nottingham BSc. Self-taught full-stack web developer.
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Imperial College London
ImperialCollegeLondon
Imperial College London main code repository
United Kingdom
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Jesse Michael Han
jesse-michael-han
I am a PhD student at the University of Pittsburgh, under the supervision of Tom Hales.
University of Pittsburgh Pittsburgh
PreviousNext