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.
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.