Skip to content
Hallway
0:00 / 0:00

#lean#lean4#theoremproving

Lean Together 2021: An overview of Lean 4

leanprover community

5K subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
  • Presented by Leonardo de Moura and Sebastian Ullrich

Advanced. Deep dive for people who know the field.

8K views5 years ago2 recommendations

Programming languagesComputer scienceLanguage design and type systemsCompilers and interpretersFormal methods and verification

Leonardo de Moura and Sebastian Ullrich present an architectural and design overview of the Lean 4 theorem prover and programming language.

Speakers: Leonardo de Moura and Sebastian Ullrich Part of the workshop Lean Together 2021: leanprover-community.github.io/lt2021

Why it's here

2 people recommend this

januson Lobsters • Recommends

Lean Together 2021: An overview of Lean 4
3View on Lobsters

u/ysangkokin r/ProgrammingLanguages • Recommends

Lean Together 2021: An overview of Lean 4
1View on Reddit