【F*】依存型っていいの?【Coq】アーカイブ最終更新 2019/04/09 20:311.デフォルトの名無しさんKZ504O8A依存型の有意性について語るスレッドです。数学に詳しい方々の知識を教えてください。出典 https://mevius.5ch.net/test/read.cgi/tech/15548095032019/04/09 20:31:431すべて|最新の50件
数学に詳しい方々の知識を教えてください。