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
2013/09
181 mails
Chronological Thread << < page # 3/7 > >>
- 13/09/06
- [Coq-Club] VMCAI 2014 DEADLINE EXTENSION, Xavier Rival
- 13/09/07
- [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Satrajit Roy
- Re: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., t x
- Re: [Coq-Club] Universe polymorphism in the HoTT branch of Coq, Jason Gross
- [Coq-Club] ETAPS 2014 2nd call for papers, Tarmo Uustalu
- Re: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Adam Chlipala
- [Coq-Club] TPNC 2013: call for posters, GRLMC
- Re: [Coq-Club] Universe polymorphism in the HoTT branch of Coq, vincent rahli
- [Coq-Club] Sequence between events, Djamila Baroudi
- 13/09/08
- Re: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Andrew Hirsch
- RE: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Shigeo Nishi
- Re: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Adam Chlipala
- RE: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., Shigeo Nishi
- Re: [Coq-Club] Not sure if this is the right forum for beginners' questions, however ....., t x
- Re: [Coq-Club] Sequence between events, Pierre Casteran
- Re: [Coq-Club] Sequence between events, AUGER Cédric
- [Coq-Club] Same symbol for functions and implication, N. Raghavendra
- Re: [Coq-Club] Same symbol for functions and implication, Guillaume Brunerie
- [Coq-Club] Core Verifier of Coq, t x
- Re: [Coq-Club] Core Verifier of Coq, Gabriel Scherer
- Re: [Coq-Club] Same symbol for functions and implication, Daniel de Rauglaudre
- Re: [Coq-Club] Sequence between events, gallais
- Re: [Coq-Club] Same symbol for functions and implication, AUGER Cédric
- [Coq-Club] handling duplicated names for definitions, Leonardo Rodriguez
- [Coq-Club] Re: handling duplicated names for definitions, Leonardo Rodriguez
- 13/09/09
- [Coq-Club] Re: Same symbol for functions and implication, N. Raghavendra
- Re: [Coq-Club] Core Verifier of Coq, Arnaud Spiwack
- Re: [Coq-Club] Re: handling duplicated names for definitions, Arnaud Spiwack
- Re: [Coq-Club] Same symbol for functions and implication, Arnaud Spiwack
- 13/09/10
- [Coq-Club] FGCT at BCS, fgct
Archive powered by MHonArc 2.6.18.