Lean-Code

This is my personal Lean project. Any thought experiment I think of , my weekly calculus problems, and more will be stored here.