metaprograms and proofs: macros in lean 4 (twelfth racketcon)
Published 1 year ago • 2.8K plays • Length 29:01Download video MP4
Download video MP3
Similar videos
-
30:38
resyntax: a macro-powered refactoring tool (twelfth racketcon)
-
29:58
visr: visual and interactive syntax (twelfth racketcon)
-
1:11:20
lean together 2021: metaprogramming in lean 4
-
10:29
metaprogramming in lean 3 tutorial: video 1
-
1:03:14
the final tier is shed (twelfth racketcon)
-
7:45
making a game in racket (lisp family) - games with unusual programming languages #3
-
11:28
principal components of the rsi | machine learning trading strategy in python
-
21:34
rebuilding racket on chez scheme experience report
-
39:08
rhombus: status update - matthew flatt - racketcon 2023
-
32:40
what can beginners learn from video games (twelfth racketcon)
-
11:59
cs450 s21 35 02 macro system in racket part 1
-
10:20
eric clack — why learn racket?
-
7:31
cs450 35 01 macros intro
-
31:47
(fourth racketcon): matthew flatt — carry on making that racket