research
∙
02/28/2023
Formalization of p-adic L-functions in Lean 3
The Euler–Riemann zeta function is a largely studied numbertheoretic obj...
share
research
∙
11/14/2022
Towards a Mathematics Formalisation Assistant using Large Language Models
Mathematics formalisation is the task of writing mathematics (i.e., defi...
research
∙
02/04/2021
