BeiZero · @BeiZero
107 followers · 373 posts · Server techhub.social
Смотрю лекцию по слабым моделям памяти https://youtu.be/P4AnGeVFbzo и тут опять касаются формальной верификации, даже сюда хочется #Agda тащить.
#agda #формальнаяверификация #теориятипов #программирование
Last updated 1 year ago