lean for the curious mathematician 2023 category theory
Published 10 months ago • 453 plays • Length 45:00Download video MP4
Download video MP3
Similar videos
-
1:07:27
lean for the curious mathematician 2023 basics
-
48:11
lean for the curious mathematician 2023 structures & classes
-
50:14
lean for the curious mathematician 2023 analysis
-
42:38
lean for the curious mathematician 2023 number theory
-
1:30:35
lean for the curious mathematician 2023 combinatorics
-
57:26
lean for the curious mathematician 2023 gihan marasingha, lean into learning
-
53:09
lean for the curious mathematician 2023 algebraic geometry
-
37:38
lean for the curious mathematician 2023 sets & functions
-
50:43
lean for the curious mathematician 2023 differential geometry
-
1:05:54
lean for the curious mathematician 2023 cezary kaliszyk, features of other proof assistants
-
1:01:31
lean for the curious mathematician 2023 logic
-
52:45
lean for the curious mathematician 2023 algebraic hierarchy
-
59:20
lean for the curious mathematician 2023 oliver nash, on a formalization of gromov's h principle
-
40:59
lean for the curious mathematician 2023 algebra tactics
-
52:38
lean for the curious mathematician 2023 kaiyu yang, theorem proving via machine learning