Coq: Let's read the code!
Special thanks to my Patreon patrons:
Frederick Rowland
Alexander Kulnev
AnonMe
Long Nguyen
Sreyan Chakravarty
Nam Anh
duck
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...