数理論理学(数学基礎論) その11at MATH
数理論理学(数学基礎論) その11
- 暇つぶし2ch81:┌∩┐(& ◆EQYxHFCTcMRP
12/02/24 19:33:24.66
┌∩┐(◣_◢)┌∩┐
fuckin!
鶏ってのはCoqのことだZE!
Coqは型理論CoCの断片だZE!
CoCはMartinの構成的型理論由来DAZE!
Upps!FuckOff///
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch