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
2007/03
84 mails
Pages navigation :
chronological Thread << < page # 3/3 > >>
- [Coq-Club]CFP: 2nd CFP for RDP Workshop Proof Assistants and Types in Education (PATE), Pierre Courtieu
- [Coq-Club]Setoid for arbitrary relation?, Koprowski, A.
- Re: [Coq-Club]Setoid for arbitrary relation?,
Claudio Sacerdoti Coen
- Re: [Coq-Club]Setoid for arbitrary relation?, Frederic Blanqui
- RE: [Coq-Club]Setoid for arbitrary relation?, Koprowski, A.
- <Possible follow-ups>
- Re: [Coq-Club]Setoid for arbitrary relation?, Santiago Zanella
- Re: [Coq-Club]Setoid for arbitrary relation?,
Claudio Sacerdoti Coen
- [Coq-Club]how to prove basic arithmatic properties?, Carter Tazio Schonwald
- Re: [Coq-Club]how to prove basic arithmatic properties?, Benjamin Gregoire
- Re: [Coq-Club]how to prove basic arithmatic properties?,
Jean-Marc Notin
- Re: [Coq-Club]how to prove basic arithmatic properties?, Jean-Marc Notin
- [Coq-Club]Programming Languages for Mechanized Mathematics Workshop, Freek Wiedijk
- [Coq-Club]new release of CoLoR for Coq 8.1, Frederic Blanqui
- [Coq-Club]One-year INRIA post-doctoral position, Frederic Blanqui
- [Coq-Club]CFP: The 2007 ACM SIGPLAN Workshop on ML (Call For Papers), Claudio Russo
- [Coq-Club]Can something be both a structure and a function?, roconnor
- [Coq-Club]SAT 2007 Call for Participation, Joao Marques-Silva
- [Coq-Club]Modules and Hints, Brian E. Aydemir
- Re: [Coq-Club]Modules and Hints, Elie Soubiran
- [Coq-Club]Types Summer School 07, Claudio Sacerdoti Coen
- [Coq-Club]LSFA 2007 (Second CFP), ayala
- [Coq-Club]CiE 2007 - Call for Participation, S B Cooper
- [Coq-Club]Formalizing 100 theorems, Laurent Théry
- [Coq-Club]Fwd: coq performance, Michal Moskal
Archive powered by MhonArc 2.6.16.