Lean4: Let's read the code!
Special thanks to my Patreon patrons:
Frederick Rowland
Alexander Kulnev
AnonMe
Long Nguyen
Sreyan Chakravarty
Nam Anh
duck
Naur
KKR
Coding videos have moved to my other channel: / @the_ant_farm
You can join my Patreon at / ants_are_everywhere .
Thanks for watching :)
Join Discord at: / discord
My Mastodon address is: https://mathstodon.xyz/@ants_are_ever...
Watch video Lean4: Let's read the code! online without registration, duration hours minute second in high quality. This video was added by user Ants Are Everywhere 21 August 2024, don't forget to share it with your friends and acquaintances, it has been viewed on our site 261 once and liked it 10 people.