RandomWalks

My Notes

These are notes that I wrote in the form of a blog post purely as a way to check my understanding.

  1. General Notes On Lean
  2. Tactic Cheat Sheet
  3. Type classes In Lean
  4. Inductive Types