Media Summary: In lots of other events and and a great V variety of events too so there are schools where we try to A growing number of mathematicians are having fun explaining I will explain tools that help turn informal

Patrick Massot Teaching Mathematics Using Verbose Lean - Detailed Analysis & Overview

In lots of other events and and a great V variety of events too so there are schools where we try to A growing number of mathematicians are having fun explaining I will explain tools that help turn informal

Photo Gallery

Patrick Massot: Teaching mathematics using Verbose Lean
Session 1: Athina Thoma and Patrick Massot
Patrick Massot: Teaching using a proof assistant and controlled natural language
LftCM2020: Mathematics in Lean introduction - Patrick Massot
Lean Together 2024: Patrick Massot, Community news and workshop introduction
Hands-on introduction to "Mathematics in Lean"
Patrick Massot - Why Explain Mathematics to Computers?
Professor Patrick Massot: Formalizing Differential Topology and Differential Geometry
Patrick Massot: Formalizing a Sophisticated Definition
Patrick Massot | Why explain mathematics to computers?
From informal to formal and back
Formalized mathematics and differential topology - Patrick Massot - Lean in Lyon
Sponsored
Sponsored
View Detailed Profile
Sponsored
Sponsored