2022 Québec-Maine Number Theory Conference talk: Computation of values of zeta functions using Eisensteins series
October 13, 2022 ◦ 1 min ◦
I am a mathematics bachelor exchange student at Concordia University from the Autonomous University of Barcelona. Below you can see my recent code projects (mostly about LEAN) and blog publications.
Pull Request to Mathlib about the definition of regular_spaces and some basic propositions.
LEAN exercises about separation axioms
First steps in LEAN with Barcelona LEAN Seminar.