coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2006/06
34 mails
Pages navigation :
chronological Thread << < page # 1/2 > >>
- 06/06/04
- [Coq-Club]Problems proving equality of proof terms of inductively defined predicate., Eelis van der Weegen
- 06/06/06
- [Coq-Club]Mutually dependent types, Alex Suzuki
- Re: [Coq-Club]Mutually dependent types, Charles Bouillaguet
- Re: [Coq-Club]Mutually dependent types, Pierre Casteran
- Re: [Coq-Club]Mutually dependent types, Lionel Elie Mamane
- Re: [Coq-Club]Mutually dependent types, Alex Suzuki
- 06/06/07
- [Coq-Club]Type system in Coq, Fabrice Lemercier
- Re: [Coq-Club]Type system in Coq, Santiago Zanella Béguelin
- Re: [Coq-Club]Type system in Coq, Lionel Elie Mamane
- RE : Re: [Coq-Club]Type system in Coq, Fabrice Lemercier
- Re: RE : Re: [Coq-Club]Type system in Coq, Roland Zumkeller
- Re: RE : Re: [Coq-Club]Type system in Coq, Lionel Elie Mamane
- 06/06/08
- Re: RE : Re: [Coq-Club]Type system in Coq, Frederic Blanqui
- Re: [Coq-Club]Problems proving equality of proof terms of inductively defined predicate., Roland Zumkeller
- 06/06/09
- 06/06/10
- [Coq-Club]conversion tactics, Ethan Aubin
- 06/06/13
- Re: [Coq-Club]conversion tactics, Pierre Courtieu
- 06/06/14
- 06/06/15
- [Coq-Club]post-doctoral position in formal security at INRIA, Gilles Barthe
- 06/06/16
- [Coq-Club]Equality modulo proofs, mulhern
- Re: [Coq-Club]Equality modulo proofs, Adam Chlipala
- 06/06/21
- [Coq-Club]research position at Imperial, Smallfoot checker, Cristiano Calcagno
- [Coq-Club]CFP ASIAN'06 - please distribute !, Philippe Codognet
- 06/06/22
- 06/06/26
- [Coq-Club]Call for Participation RTA'06, Ralf Treinen
- [Coq-Club]WS-FM 2006 Call for Partecipation, Mario Bravetti
- 06/06/28
- [Coq-Club]MKM 2006: Call for Participation, Paul Cairns
- [Coq-Club]Re: Coq-club digest, Vol 1 #699 - 5 msgs, Jorge F. Salas O.
- Re: [Coq-Club]Re: Coq-club digest, Vol 1 #699 - 5 msgs, casteran
- 06/06/29
- [Coq-Club]problems with coercions, Line Jakubiec-Jamet
Archive powered by MhonArc 2.6.16.