定理証明支援系

定理証明支援系というものがあるらしい

証明プログラミング超入門 from Kyoko Kadowaki

www.slideshare.net

定理証明支援系Coqについて from Yoshihiro Mizoguchi

www.slideshare.net

あとCoq を始めようとか