【F*】依存型っていいの?【Coq】
https://toro.2ch.sc/test/read.cgi/tech/1554809503/
last-modified: 2021-06-02 19:10:39