coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Re: [coqdev] A talk in Japan about Coq and Ruby

From: Tom Prince <tom.prince AT ualberta.net>
To: coq-club AT inria.fr
Subject: [Coq-Club] Re: [coqdev] A talk in Japan about Coq and Ruby
Date: Mon, 06 Dec 2010 10:44:08 -0500

I thought I would forawrd this to the main list, and add a couple of
related links. (Noy that I can understand the Japanese)

On 2010-12-05, Yves Bertot wrote:
> Some of us may understand the talk!
>
> http://ustre.am/_L9Tk:xJS
Some example extracted code is at 1:04:04.

Slides:
http://www.slideshare.net/mzpi/from-coq-to-ruby-coqruby
Code:
https://github.com/mzp/coq-ruby/

Tom

[Coq-Club] Re: [coqdev] A talk in Japan about Coq and Ruby, Tom Prince