let's code math | lean4 | theorem prover
Published 1 month ago • 10K plays • Length 20:50Download video MP4
Download video MP3
Similar videos
-
7:53
10 minute lean tutorial : proving logical propositions
-
1:18:08
seminar: introduction to the lean 4 theorem prover and programming language by leonardo de moura
-
23:35
infinitude of primes --- a lean theorem prover demo
-
1:06:26
lean theorem prover tutorial 1 - natural number game by arindam bhattacharya - 20.10.21
-
48:02
towards lean 4: an optimized object model for an interactive theorem prover
-
1:20:39
proof, provers, and the lean theorem prover - summer special!
-
13:03
quick tour of the lean 4 visual studio code extension
-
11:54
introductory proof with lean 4 - natural numbers
-
7:16
ten minute lean tutorial : make proofs of easy lemmas
-
1:07:09
adventures in automata with a theorem-prover
-
1:16:03
lean theorem prover tutorial 2 - natural number game by arindam bhattacharya - 14.01.22
-
45:42
theorem proving for mathematicians
-
45:50
[llvm social] the lean theorem prover
-
13:10
interactive theorem proving demo: infinitely many primes