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/11
181 mails
Chronological Thread << < page # 5/7 > >>
- 12/11/18
- 12/11/19
- [Coq-Club] Unknown exception in Scheme Equality command, Dominic Mulligan
- [Coq-Club] Re: Unknown exception in Scheme Equality command, Dominic Mulligan
- [Coq-Club] No more subgoals but non-instantiated existential variables !, Nuno Gaspar
- Re: [Coq-Club] No more subgoals but non-instantiated existential variables !, Beta Ziliani
- 12/11/20
- [Coq-Club] coq 8.4, Nuno Gaspar
- Re: [Coq-Club] coq 8.4, Hugo Herbelin
- Re: [Coq-Club] coq 8.4, Nuno Gaspar
- 12/11/21
- [Coq-Club] ITP 2013: Call for workshop proposals, David Pichardie
- [Coq-Club] Proof irrelevance, AUGER Cédric
- 12/11/22
- Re: [Coq-Club] Proof irrelevance, Andreas Abel
- [Coq-Club] FroCoS 2013 First Call for Papers, Pascal Fontaine
- Re: [Coq-Club] Proof irrelevance, AUGER Cédric
- 12/11/23
- [Coq-Club] Problem with setoid rewriting and reduction, Andrew Kennedy
- Re: [Coq-Club] Problem with setoid rewriting and reduction, Thomas Braibant
- RE: [Coq-Club] Problem with setoid rewriting and reduction, Andrew Kennedy
- Re: [Coq-Club] Problem with setoid rewriting and reduction, Thomas Braibant
- [Coq-Club] SCSS 2012 - call for participation, Flavio L. C. de Moura
- Re: [Coq-Club] Proof irrelevance, Matthieu Sozeau
- Re: [Coq-Club] Proof irrelevance, Hugo Herbelin
- 12/11/24
- [Coq-Club] PEPM 2013: Call for Participation, scm-ml
- Re: [Coq-Club] Proof irrelevance, Matthieu Sozeau
- Re: [Coq-Club] Proof irrelevance, Hugo Herbelin
- 12/11/25
- Re: [Coq-Club] Proof irrelevance, Andreas Abel
- Re: [Coq-Club] Proof irrelevance, Andreas Abel
- [Coq-Club] functional induction, Equations plugin, Gert Smolka
- Re: [Coq-Club] functional induction, Equations plugin, Jonas Oberhauser
- Re: [Coq-Club] functional induction, Equations plugin, Jonas Oberhauser
Archive powered by MHonArc 2.6.18.