tmiya_
(tmiya_)

Usage start date: 05/10/2013

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。