Black Friday 2024: 25+ Ways to Save on Online Learning
Getting Started with Blueprint-Driven Formalization Projects in Lean

Getting Started with Blueprint-Driven Formalization Projects in Lean

Hausdorff Center for Mathematics via YouTube Direct link

Pietro Monticone: Getting Started with Blueprint-Driven Formalization Projects in Lean

1 of 1

1 of 1

Pietro Monticone: Getting Started with Blueprint-Driven Formalization Projects in Lean

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Getting Started with Blueprint-Driven Formalization Projects in Lean

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Pietro Monticone: Getting Started with Blueprint-Driven Formalization Projects in Lean

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.