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/05
121 mails
Chronological Thread << < page # 2/5 > >>
- Re: [Coq-Club] strict unit type, Andrej Bauer, 05/07/2012
- Re: [Coq-Club] strict unit type, Vladimir Voevodsky, 05/09/2012
- [Coq-Club] [ANN] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen, Nicolas Pouillard, 05/08/2012
- [Coq-Club] Final CFP: IFCoLog-CIE Student Session - Submit your project, Michael Gabbay, 05/08/2012
- [Coq-Club] [Remove Hints] does not work, Gregory Malecha, 05/09/2012
- Re: [Coq-Club] [Remove Hints] does not work, Matthieu Sozeau, 05/23/2012
- [Coq-Club] Positivity condition and nested recursion, Robbert Krebbers, 05/09/2012
- Re: [Coq-Club] Positivity condition and nested recursion, Stéphane Glondu, 05/09/2012
- Re: [Coq-Club] Positivity condition and nested recursion, AUGER Cédric, 05/09/2012
- Re: [Coq-Club] Positivity condition and nested recursion, Stéphane Glondu, 05/09/2012
- Re: [Coq-Club] Positivity condition and nested recursion, Robbert Krebbers, 05/10/2012
- Re: [Coq-Club] ProofGeneral for Coq: issue to setup a specific loadpath, Hendrik Tews, 05/09/2012
- [Coq-Club] TPNC 2012: last submission deadline extension, URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS, 05/09/2012
- [Coq-Club] Alternate proof that classic -> proof_irrelevance, Daniel Schepler, 05/10/2012
- Re: [Coq-Club] Alternate proof that classic -> proof_irrelevance, Andrej Bauer, 05/14/2012
- [Coq-Club] Re: [Agda] Re: strict unit type, Andreas Abel, 05/10/2012
- [Coq-Club] Call for papers GandALF 2012 -- EXTENDED DEADLINE, Nello Murano, 05/10/2012
- [Coq-Club] 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012, Santiago Escobar, 05/10/2012
- [Coq-Club], l-siebeneicher, 05/12/2012
- Re: [Coq-Club], Leonard Siebeneicher, 05/15/2012
- Message not available
- Re: [Coq-Club], Leonard Siebeneicher, 05/20/2012
- Message not available
- Re: [Coq-Club], Leonard Siebeneicher, 05/15/2012
- Re: [Coq-Club] Setoid almost rewriting, Matthieu Sozeau, 05/13/2012
- Re: [Coq-Club] Setoid almost rewriting, Guillaume Melquiond, 05/13/2012
- Re: [Coq-Club] Setoid almost rewriting, Arnaud Spiwack, 05/14/2012
- Re: [Coq-Club] Setoid almost rewriting, Matthieu Sozeau, 05/14/2012
- Re: [Coq-Club] Setoid almost rewriting, Matthieu Sozeau, 05/14/2012
- Re: [Coq-Club] Setoid almost rewriting, Guillaume Melquiond, 05/14/2012
- Re: [Coq-Club] Setoid almost rewriting, Guillaume Melquiond, 05/13/2012
- Re: [Coq-Club] functions with accumulators, julien forest, 05/13/2012
Archive powered by MHonArc 2.6.18.