소프트웨어 수학적으로 검증하는거 배우는데

[착한과메기유동(58.121)]

ㄹㅇ 존나재밌네

분산컴퓨팅 시스템 모델링해서 함수형언어로 제대로 작동하는지

검증함

근데 이거 하느라 밤새서 빡친다

[일반인07(rechido)]

[포봄(bonnbonn)]

ㅎㅎㅎㅎ