集合論に基づいた言語を作りたいat TECH集合論に基づいた言語を作りたい - 暇つぶし2ch784:1 15/01/04 13:03:03.07 1dxkxQcz.net片山さんはCoqどれくらい書けるの？ 例えばド、モルガンの証明とか書けるの？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch