Carlos Caralps

Category: LEAN

To all categories

Separation Axioms Seminar

LEAN exercises about separation axioms
December 12, 2021 ◦ 1 min ◦

Constructive Analysis in LEAN

Formalization of the construction of reals with LEAN.
October 24, 2021 ◦ 1 min ◦

Modell-Weil Theorem

Formalization of the Mordel-Weil Theorem with LEAN.
October 17, 2021 ◦ 1 min ◦

Brouwer Fixed Point Theorem

Formalization of the Brouwer Fixed Point Theorem
May 16, 2021 ◦ 1 min ◦

Barcelona Lean Seminar

First steps in LEAN with Barcelona LEAN Seminar.
January 31, 2021 ◦ 1 min ◦