Download Lagu Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA MP3 & MP4

14 February 2023

Institute for Pure & Applied Mathematics (IPAM)

48:48