2017-06-24 定理証明支援系 定理証明支援系というものがあるらしい 証明プログラミング超入門 from Kyoko Kadowaki www.slideshare.net 定理証明支援系Coqについて from Yoshihiro Mizoguchi www.slideshare.net あとCoq を始めようとか