Exercises in Formalizing Mathematics with Lean 4
This repository contains solutions to the exercises of the course Formalising Mathematics by Kevin Buzzard at Imperial College London.

1: Logic

2: Reals numbers
This repository contains solutions to the exercises of the course Formalising Mathematics by Kevin Buzzard at Imperial College London.
1: Logic
2: Reals numbers