Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Getting Started with Blueprint-Driven Formalization Projects in Lean

Hausdorff Center for Mathematics via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive tutorial on designing, managing, and developing collaborative, blueprint-driven formalization projects in Lean. Learn how to effectively utilize resources such as the LeanProject template repository, NewLeanProject repository, and LeanBlueprint repository. Gain insights into best practices for structuring and organizing formalization efforts in mathematics using the Lean theorem prover. Discover techniques for creating blueprints, managing project workflows, and fostering collaboration among team members. Enhance your skills in formal mathematics and project management through this informative working group talk presented by Pietro Monticone at the Hausdorff Center for Mathematics.

Syllabus

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

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Getting Started with Blueprint-Driven Formalization Projects in Lean

Never Stop Learning.

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

Someone learning on their laptop while sitting on the floor.