【F*】依存型っていいの？【Coq】

[0001 デフォルトの名無しさん 2019/04/09(火) 20:31:43.12 ID:KZ504O8A]

依存型の有意性について語るスレッドです。
数学に詳しい方々の知識を教えてください。