Title: Recent Advances in Formalising Modern Number Theory

Abstract:

In this talk I will present a very brief glance at some advanced,
graduate-level number theory, namely elliptic functions and modular
forms, and how it is formalised in the interactive theorem prover
Isabelle/HOL.