2.18K
Subscribers
76.43K
Views
3
Videos
25.48K
Views / Video
About the channel
Hello! I plan on making videos on the topics listed below. If you're interested in any of these, please subscribe! 1. Pure Mathematics and Logic 2. Proof Assistants and Formal Verification 3. Functional Programming (and a bit of Category Theory) 4. Applied Mathematics (mostly probability and statistics) 5. AI For inquires, reach out at ankyogmath@gmail.com
What do members think of Ank Yog?
Your feedback is about the channel itself,
Loading…
Continue your exploration
Similar channels in the same tier ✨
Random discovery
