Proof Assistant Value Pack: Lean, Agda, and Coq

Опубликовано: 22 Август 2024
на канале: Ants Are Everywhere

212

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...

Смотрите видео Proof Assistant Value Pack: Lean, Agda, and Coq онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Ants Are Everywhere 22 Август 2024, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 212 раз и оно понравилось 8 людям.

1,085