Schedule

Meeting 1: Friday June 24, 11:00am PDT

• Introduction to Lean and the natural number game

• Slides Tactics Cheat Sheet

Meeting 2: Friday July 1, 11:00am PDT

• Type theory, installing Lean, natural number game

• Slides Lean Demo File

Meeting 3: Friday July 8, 11:00am PDT

• Term mode, natural number game, installing Lean, small projects

• Slides Refine Cheat Sheet Lean Demo File

Meeting 4: Friday July 22, 11:00am PDT

• Structures and typeclasses, natural number game, installing Lean, small projects

• Lean Demo File

Meeting 5: Friday July 29, 11:00am PDT

• More advanced tactics, natural number game, installing Lean, small projects

Meeting 6: Friday August 12, 11:00am PDT

• Continuing projects