This repository contains my code written for the project. It contains my solutions to the exercises in the book Mathematics in Lean (i.e. proofs and examples left incomplete using the keyword sorry)
Useful links:
sumantchopdata/intro_to_automated_proof_checking
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
Lean