Carlos Caralps

Category: LEAN

To all categories

Separation Axioms Seminar

LEAN exercises about separation axioms

Constructive Analysis in LEAN

Formalization of the construction of reals with LEAN.

Modell-Weil Theorem

Formalization of the Mordel-Weil Theorem with LEAN.

Brouwer Fixed Point Theorem

Formalization of the Brouwer Fixed Point Theorem

Barcelona Lean Seminar

First steps in LEAN with Barcelona LEAN Seminar.