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
2012/04
211 mails
Pages navigation :
chronological Thread << < page # 3/8 > >>
- 12/04/08
- [Coq-Club] UITP'12: Second Call for Papers, Cezary Kaliszyk
- 12/04/09
- Re: [Coq-Club] coq prompt in proof-general, Pierre Courtieu
- 12/04/10
- [Coq-Club] [call for participation] FraDeCoP - Workshop on Frameworks for the Development of Correct (parallel) Programs, Julien Tesson
- [Coq-Club] The Turing Centenary Conference, Manchester, June 22-25: 2nd Call for Papers, 2 turing1
- [Coq-Club] syntactial substitution with 'sig', franck . barbier
- Re: [Coq-Club] syntactial substitution with 'sig', Adam Chlipala
- Re: [Coq-Club] syntactial substitution with 'sig', Pierre Casteran
- Re: [Coq-Club] Quicksort algorithm using Coq, Tom Prince
- [Coq-Club] Call for Participation: Tests and Proofs (TAP 2012) in Prague, Achim D. Brucker
- 12/04/11
- [Coq-Club] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers, S B Cooper
- [Coq-Club] Post-Doc positions - Semantics of Real-World Computer Systems, Peter Sewell
- [Coq-Club] IWS Workshop at IJCAR 2012 -- Call for papers, Maria Paola Bonacina
- [Coq-Club] LOLA 2012: Final Call for Talk Proposals, Amal Ahmed
- [Coq-Club] 2nd Call for Participation: RTA 2012, Georg Moser
- 12/04/12
- [Coq-Club] Inversion, Induction & Fix Guard, Jonas Oberhauser
- [Coq-Club] How to search library using Ltac, ±èÇü¼±
- Re: [Coq-Club] How to search library using Ltac, Adam Chlipala
- [Coq-Club] Fwd: LSFA 2012: Call For Papers, Joao Marcos
- Re: [Coq-Club] Inversion, Induction & Fix Guard, AUGER Cédric
- [Coq-Club] slicing along the statement of theorem, Xavier Leroy
- Re: [Coq-Club] slicing along the statement of theorem, Randy Pollack
- 12/04/13
- Re: [Coq-Club] slicing along the statement of theorem, Stéphane Glondu
- Re: [Coq-Club] slicing along the statement of theorem, Makarius
- [Coq-Club] Last CfP: UNIF 2012 - 26th International Workshop on Unification, Santiago Escobar
- 12/04/14
- [Coq-Club] Equality and ssreflect, Andrej Bauer
- [Coq-Club] Re: Equality and ssreflect, Andrej Bauer
- [Coq-Club] SSLST 2012: 1st announcement, GRLMC
- Re: [Coq-Club] slicing along the statement of theorem, Xavier Leroy
- Re: [Coq-Club] Inversion, Induction & Fix Guard, Jonas Oberhauser
- [Coq-Club] LOLA 2012: Call for Talk Proposals (deadline extended), Amal Ahmed
Archive powered by MhonArc 2.6.16.