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
2005/07
53 mails
Pages navigation :
chronological Thread << < page # 2/2 > >>
- [Coq-Club] What Set is good for?, Vladimir Voevodsky
- Re: [Coq-Club] What Set is good for?, Bas Spitters
- Re: [Coq-Club] What Set is good for?,
Benjamin Werner
- [Coq-Club] The type of 'fun i:nat=>Type(i)' [Was: What Set is good for?],
Stefan Karrmann
- Re: [Coq-Club] The type of 'fun i:nat=>Type(i)' [Was: What Set is good for?], Vladimir Voevodsky
- [Coq-Club] The type of 'fun i:nat=>Type(i)' [Was: What Set is good for?],
Stefan Karrmann
- [Coq-Club] [ICLP 2006] Call for WORKSHOP proposals, A Serebrenik
- [Coq-Club] Call for Participation: MERLIN 2005, Alwen Tiu
- [Coq-Club] How to start?, BruinBear123
- [Coq-Club] Universes Question, Vladimir Voevodsky
- [Coq-Club] Is ~ Ex P ever provable?, Vladimir Voevodsky
- Re: [Coq-Club] Is ~ Ex P ever provable?, roconnor
- [Coq-Club] Research Engineer position, Boutheina Chetali
- [Coq-Club] 2nd CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL), Christoph Benzmueller
- [Coq-Club] the type of natural numbers, BruinBear123
- Re: [Coq-Club] the type of natural numbers, Venanzio Capretta
- Re: [Coq-Club] the type of natural numbers,
roconnor
- Re: [Coq-Club] the type of natural numbers, Vladimir Voevodsky
- Re: [Coq-Club] the type of natural numbers, jevgenijs
- [Coq-Club] WLPE 2005: Call for Participation, A Serebrenik
- [Coq-Club] Fix_F vs Acc_iter, roconnor
- Re: [Coq-Club] Fix_F vs Acc_iter,
roconnor
- Re: [Coq-Club] Fix_F vs Acc_iter, David Pichardie
- Re: [Coq-Club] Fix_F vs Acc_iter,
roconnor
- [Coq-Club] 4-year PhD Positions at UPM -- MOBIUS EU Project, MOBIUS PhD Grants
Archive powered by MhonArc 2.6.16.