thisis-Shitanshu/lean_exercises

This repository contains a collection of mathematical exercises in Lean, covering topics like geometric series, binomial coefficients, and recursive functions. Ideal for learning formal proofs with Lean's theorem prover.

Lean