母語方式Coq

母語方式Coq http://www.slideshare.net/kaizenjapan/coq-59179301