A Lean introduction repository.

About

Interest in Functional Programming sparked motivation on learning FP languages and I decided to start with Lean4.

Readme serves as a purpose to keep track of where I stopped/paused.

Material

Currently, I'm studying with Lean4's officla guidebook at: Functional Programming in Lean. I've done the following chapters:

• 1.1
  • 1.1.1
  • 1.1.2
• 1.2
• 1.3
  • 1.3.1
  • 1.3.2

License

This project is licensed under the MIT License - see the LICENSE file for details.