Tariq on Nostr: latest video is up! 22 - Recursion We learn how to define a recursive function and ...

latest video is up!

22 - Recursion

We learn how to define a recursive function and how to use it in a proof.

https://www.youtube.com/watch?v=McHUB7pyj6I

#maths #lean #lean4