Signin

LftCM2020: Natural number game - Kevin Buzzard

leanprover community • September 25, 2020

Video Thumbnail

You May Also Like

Video Thumbnail

LftCM2020: Mathematics in Lean introduction - Patrick Massot

leanprover community

Video Thumbnail

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

leanprover community

Video Thumbnail

Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL

leanprover community

Video Thumbnail

Ten minute Lean tutorial : make proofs of easy lemmas

Xena Project

Video Thumbnail

Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4

David Renshaw

Video Thumbnail

Monthly Community Meeting Jan 12, 2024

leanprover community

Video Thumbnail

Marques Brownlee Just Lost The Respect Of 98% His Audience

JustKoosh

Video Thumbnail

AI can't cross this line and we don't know why.

Welch Labs

Video Thumbnail

Lean Together 2024: Joe Hendrix, Lean Standard Library 2024

leanprover community

Video Thumbnail

Lean Together 2024: Yicheng Qian, Lean-auto

leanprover community

Video Thumbnail

Birth of BASIC

Dartmouth

Video Thumbnail

Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics

leanprover community

Video Thumbnail

Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean

leanprover community

Video Thumbnail

Lean Together 2024: Mac Malone, How Reservoir boosts your Lean packages

leanprover community

Video Thumbnail

Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer

leanprover community

Video Thumbnail

Introduction to Cubical Type Theory (Part I)

Favonia

Video Thumbnail

Lean Together 2024: Wrenna Robson, Permutations on bitvectors

leanprover community

leanprover community

About

No channel description available.

Latest Posts

Video Thumbnail

Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover

leanprover community

Video Thumbnail

Infinitude of primes --- a Lean theorem prover demo

leanprover community

Video Thumbnail

LftCM2020: Mathematics in Lean introduction - Patrick Massot

leanprover community

Video Thumbnail

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

leanprover community