2011-02-28 名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました event Coq to Rubyによる証明駆動開発@名古屋ruby会議02 View more presentations from Hiroki Mizuno
