このスレッドはアーカイブ化された過去ログです。

【F*】依存型っていいの?【Coq】アーカイブ

1.
ユーザー
デフォルトの名無しさん
KZ504O8A
依存型の有意性について語るスレッドです。
数学に詳しい方々の知識を教えてください。
1
すべて
|
最新の50件
このスレッドはアーカイブ化された過去ログです。