Hausdorff Center for Mathematics
8.33K subscribers
33:21
Florian Rabe: HOL+Dependent Types + Subtyping
Hausdorff Center for Mathematics
47 views • 12 hours ago
43:12
Georges Gonthier: Programming Mathematics: Tools and Challenges
Hausdorff Center for Mathematics
94 views • 13 hours ago
33:34
Lawrence Paulson: Formalising Advanced Mathematics in Isabelle/HOL
Hausdorff Center for Mathematics
110 views • 4 days ago
40:25
Cyril Cohen: Building Measure Theory using Hierarchy Builder
Hausdorff Center for Mathematics
82 views • 5 days ago
38:43
Floris van Doorn: Towards a formalized proof of Carleson's theorem
Hausdorff Center for Mathematics
148 views • 5 days ago
1:01:35
Nicolas Thiéry: Categories, axioms, constructions in SageMath: Modeling mathematics for fun/profit
Hausdorff Center for Mathematics
91 views • 6 days ago
49:33
Sina Hazratpour: Linear Algebra Game in Lean
Hausdorff Center for Mathematics
112 views • 6 days ago
54:22
Juan Meleiro: Theory-oriented mathematics
Hausdorff Center for Mathematics
250 views • 7 days ago
1:38:51
Public Talk by Kevin Buzzard: Teaching mathematics to computers
Hausdorff Center for Mathematics
548 views • 10 days ago
46:20
Valeria de Paiva: AI tools for Better Math
Hausdorff Center for Mathematics
149 views • 12 days ago
58:08
Davide Trotta: Doctrines for Formal Mathematics
Hausdorff Center for Mathematics
102 views • 12 days ago
48:15
Sina Hazratpour: Report on Polynomial Functors Formalization
Hausdorff Center for Mathematics
83 views • 2 weeks ago
45:15
Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics
87 views • 2 weeks ago
43:54
Freek Wiedijk: Even more on HOL Light (3)
Hausdorff Center for Mathematics
44 views • 2 weeks ago
46:19
Freek Wiedijk: More on HOL Light (2)
Hausdorff Center for Mathematics
35 views • 2 weeks ago
20:19
Freek Wiedijk: System Introductions I - HOL (1)
Hausdorff Center for Mathematics
72 views • 2 weeks ago
24:40
Peter Koepke: System Introductions II - Naproche
Hausdorff Center for Mathematics
41 views • 2 weeks ago
44:54
Cipriano Cioffo: A categorical account of the setoid model
Hausdorff Center for Mathematics
45 views • 2 weeks ago
24:15
Peter Koepke: FOL from a Naproche perspective
Hausdorff Center for Mathematics
82 views • 2 weeks ago
45:58
Claudio Sacerdoti Coen: Indexing and Retrieval in a heterogeneous Formal Library
Hausdorff Center for Mathematics
52 views • 3 weeks ago
35:14
Sam Owre: Modularity in PVS
Hausdorff Center for Mathematics
84 views • 3 weeks ago
47:47
Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality
Hausdorff Center for Mathematics
106 views • 3 weeks ago
58:42
Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
Hausdorff Center for Mathematics
363 views • 3 weeks ago
1:10:35
Andrea Kohlhase: "Eye Tracking for Math"
Hausdorff Center for Mathematics
73 views • 3 weeks ago
52:34
James Davenport: Proving an execution of an algorithm correct
Hausdorff Center for Mathematics
76 views • 3 weeks ago
46:00
Mario Carneiro: Lessons from Metamath
Hausdorff Center for Mathematics
220 views • 4 weeks ago
19:27
Guillaume Allais: A Quick Tour of Agda
Hausdorff Center for Mathematics
56 views • 4 weeks ago
39:00
Guillaume Allais: Syntaxes for Binding and their Semantics
Hausdorff Center for Mathematics
60 views • 4 weeks ago
37:49
Steve Awodey: What is HoTT?
Hausdorff Center for Mathematics
275 views • 1 month ago
52:58
Andrej Bauer & Mario Carneiro: Type universes
Hausdorff Center for Mathematics
544 views • 1 month ago
Load More