« Cheni Yuki Yang

default

serena

zen

University. University of East Anglia [uea]

Norwich, UK
Homepage

Backlinks

Workshop. Bridging Lean and the LMFDB [uea_2026_lean_lmfdb]

June 29 - July 03, 2026
University of East Anglia
Homepage

This workshop will feature tutorials to navigate the number theory programming interface in Lean’s mathematical library (number fields, elliptic curves, modular forms, etc), as well as a variety of research talks in relevant areas of number theory.