Videos

Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA Thumbnail

Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA

Presenter
  • Leonardo de Moura
February 14, 2023
IPAM

Lean 4

Presenter
  • Leonardo de Moura
July 15, 2022
ICERM