2022 Québec-Maine Number Theory Conference talk: Computation of values of zeta functions using Eisensteins series
October 13, 2022 ◦ 1 min ◦
I am an ALGANT graduate mathematics master student at Universiteit Leiden. 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 ◦