rmp3sの家の前

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

定理証明支援系

 

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

 

www.slideshare.net

 

www.slideshare.net

 

あとCoq を始めようとか