rmp3sの家の前

1年くらいで消えていく言葉の鉢植えたち

2017-06-24から1日間の記事一覧

定理証明支援系

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