Kensho Tsurusaki: Literate programming in Lean External Video-URL https://www.youtube.com/watch?v=y7glemQMKn4 Preview-Image