Takashi Miyamoto @tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
-
NII Shonan Summer School on Coq
2197pv 20 3 users 3
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。