Workshop. Bridging Lean and the LMFDB [uea_2026_lean_lmfdb]

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.