lawrence paulson | doing mathematics with simple types: infinitary combinatorics in isabelle/hol
Published 3 years ago • 1K plays • Length 1:09:59Download video MP4
Download video MP3
Similar videos
-
33:34
formalising advanced mathematics in isabelle/hol
-
1:11:31
lawrence paulson: "formalising contemporary mathematics in simple type theory"
-
12:29
combinatorics and higher dimensions - numberphile
-
44:26
how mathematical proofs are like recipes
-
1:08:00
p-adic hyperbolicity of shimura varieties - xinwen zhu
-
20:29
[cpp'23] a formalisation of the balog–szemerédi–gowers theorem in isabelle/hol
-
22:48
safety and conservativity of definitions in hol and isabelle/hol
-
59:55
cais-23-03 | professor lawrence paulson | automated theorem proving: a technology roadmap
-
2:14:54
2021-11-15 infinitary combinatorics