Pietro Monticone: Getting Started with Blueprint-Driven Formalization Projects in Lean External Video-URL https://www.youtube.com/watch?v=KyuyTsLgkMY Preview-Image Search Engine Exclude no
