スキップしてメイン コンテンツに移動
このブログを検索
potpourris.net
Mac のアプリ
8月 31, 2014
以下のアプリの最新版が(やっと?)出たらしい。
Isabelle/HOL 2014
Haskell Platform 2014