알고리즘 블로그였던 것
SIGPL Winter School 2017 SIGPL Winter School 2017에 참여하여 보고, 듣고, 배우고, 느낀점을 정리한 글입니다. 관련 자료가 여기(슬라이드)와 여기(책) 있으니 필요하신 분은 참고하시기 바랍니다!
sigpl sigpl-winter-school-2017 programming-language proof number-theory coq math
wookje.kwon
2017-02-10 23:39