Separation Axioms Seminar
LEAN exercises about separation axioms
December 12, 2021 ◦ 1 min
◦
LEAN code
Barcelona Lean Seminar
First steps in LEAN with Barcelona LEAN Seminar.
January 31, 2021 ◦ 1 min
◦
Constructive Analysis in LEAN
Formalization of the construction of reals with LEAN.
October 24, 2021 ◦ 1 min
◦
Brouwer Fixed Point Theorem
Formalization of the Brouwer Fixed Point Theorem
May 16, 2021 ◦ 1 min
◦
Modell-Weil Theorem
Formalization of the Mordel-Weil Theorem with LEAN.
October 17, 2021 ◦ 1 min
◦
Code Games
Topology Game
LEAN game about topology created by the Barcelona LEAN Seminar.
January 31, 2021 ◦ 1 min
◦
Pull Requests
Topological Mathlib Pull Request
Pull Request to Mathlib about the definition of regular_spaces and some basic propositions.
April 26, 2021 ◦ 2 min
◦