Presentations

• 2026-08 AITP (Aussois) · From Prompts to Protocols: lean4-skills for AI-Assisted Lean Formalization
• 2026-07 ITP @ FLoC (Lisbon) · Three Roads to de Finetti’s Theorem in Lean
• 2026-07 Lean @ FLoC (Lisbon) · lean4-skills: Workflows for AI-Assisted Lean Development
• 2026-06 Cambridge · lean4-skills: Protocols for Inspectable AI-Assisted Lean Formalisation
• 2026-05 UCSD · From Prompts to Protocols: AI-Assisted Lean Development with lean4-skills
• 2026-03 MIT · Lean: a Different Take on Verification