coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The Altenkirch birthday paradox

From: Andrej Bauer <andrej.bauer AT andrej.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] The Altenkirch birthday paradox
Date: Wed, 21 Sep 2011 14:17:49 +0200

It was Thorsten Altenkirch's birthday yesterday. I thought it would be
appropriate to show him how Coq can also do all those things that Agda
does. Enjoy:

http://vimeo.com/29361996

With kind regards,

Andrej

[Coq-Club] The Altenkirch birthday paradox, Andrej Bauer
- Re: [Coq-Club] The Altenkirch birthday paradox, Andreas Abel
  - Re: [Coq-Club] The Altenkirch birthday paradox, Jesper Louis Andersen