coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andrej Bauer <andrej.bauer AT andrej.com>
- To: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] After the Qed.
- Date: Sun, 13 Nov 2011 13:42:20 +0100
I can sort of see Hugo do break dance. We should explore the possibilities.
- [Coq-Club] After the Qed., Alexandre Pilkiewicz
- Re: [Coq-Club] After the Qed.,
Gérard Huet
- Re: [Coq-Club] After the Qed.,
Alexandre Pilkiewicz
- Re: [Coq-Club] After the Qed., Hugo Herbelin
- Re: [Coq-Club] After the Qed.,
Alexandre Pilkiewicz
- Re: [Coq-Club] After the Qed., Jasmin Christian Blanchette
- <Possible follow-ups>
- Re: [Coq-Club] After the Qed.,
Daniel de Rauglaudre
- Re: [Coq-Club] After the Qed., Andrej Bauer
- Re: [Coq-Club] After the Qed.,
Gérard Huet
Archive powered by MhonArc 2.6.16.