Those of you who have attended my talks on Lurch can find the 'slides' from those talks here.

• Concordia University, CICM workshop (Aug 5, 2024) (3hr)
  • Lurch tutorial workshop - part 1
  • Lurch tutorial workshop - part 2
  • Lurch tutorial workshop - solution to part 1
• Colorado State University, Rocky Mountain Algebraic Combinatorics Seminar (Aug 30, 2024)
  • Proof Verification with Lurch (50 min)
  • (Meta) True about Everything (50 min)
• University of Wyoming, Fisk Speaker Series (Sep 12, 2024)
  • Proof Verification with Lurch (50 min)
• Lehigh University, Math Department Colloquium (Oct 9, 2024)
  • Proof Verification with Lurch (50 min)
• University of Scranton, Math Seminar talk (Oct 11, 2024)
  • Proof Verification with Lurch (50 min)
• Math Association of America, EPaDel section regional meeting (Nov 2, 2024)
  • Proof Verification with Lurch (20 min)
• Penn State University, (Nov 12, 2024)
  • Proof Verification with Lurch (50 min)
• Canadian Math Society Winter Meeting (Dec 1, 2024)
  • Proof Verification with Lurch (20 min)
• University of San Diego (Jan 27, 2025)
  • Proof Verification with Lurch Plus (50 min)
• Art of Problem Solving, San Diego (Jan 28, 2025)
  • Proof Verification with Lurch Plus (50 min)