ICTS:31588

Video URL

Programming in Lean

Programming in Lean

(2025). Programming in Lean. SciVideos. https://youtu.be/sy1ElRhS7rs

Programming in Lean. SciVideos, Apr. 24, 2025, https://youtu.be/sy1ElRhS7rs 

          @misc{ scivideos_ICTS:31588,
            doi = {},
            url = {https://youtu.be/sy1ElRhS7rs},
            author = {},
            keywords = {},
            language = {en},
            title = {Programming in Lean},
            publisher = {},
            year = {2025},
            month = {apr},
            note = {ICTS:31588 see, \url{https://scivideos.org/index.php/icts-tifr/31588}}
          }
Siddhartha Gadgil
Talk numberICTS:31588
Source RepositoryICTS-TIFR
Collection