#формальнаяверификация — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #формальнаяверификация, aggregated by home.social.
-
Смотрю лекцию по слабым моделям памяти https://youtu.be/P4AnGeVFbzo и тут опять касаются формальной верификации, даже сюда хочется #Agda тащить.