RandomWalks

Tag

lean-notes

  1. Inductive Types

  2. Type classes In Lean

  3. General Notes On Lean

    An example of a proof

  4. Tactic Cheat Sheet