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.
Recent Blog Posts
SIMBa talk: From far-out mystery to a useful tool
January 29, 2022 ◦ 1 min ◦
Recent Code Projects
Topological Mathlib Pull Request
Pull Request to Mathlib about the definition of regular_spaces and some basic propositions.
April 26, 2021 ◦ 2 min ◦
Separation Axioms Seminar
LEAN exercises about separation axioms
December 12, 2021 ◦ 1 min ◦
Barcelona Lean Seminar
First steps in LEAN with Barcelona LEAN Seminar.
January 31, 2021 ◦ 1 min ◦