SIMBa talk: From far-out mystery to a useful tool
January 29, 2022 ◦ 1 min ◦
I am a mathematics bachelor student at the Autonomous University of Barcelona (UAB). Below you can see my recent code projects (mostly about LEAN) and blog publications.
Recent Blog Posts
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 ◦