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
This repository contains solutions to the exercises of the course Formalising Mathematics by Kevin Buzzard at Imperial College London.