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
2014/09
211 mails
Chronological Thread << < page # 7/8 > >>
- Re: [Coq-Club] is there a rewrite-like tactics that would work for propositions and equivalence?, (continued)
- Re: [Coq-Club] is there a rewrite-like tactics that would work for propositions and equivalence?, Arnaud Spiwack, 09/22/2014
- [Coq-Club] Last Call for PLMW Scholarship Applications: (new deadline: this Wednesday, September 24!), Alan Schmitt, 09/22/2014
- [Coq-Club] Problem with tactic intuition auto, Richard Dapoigny, 09/22/2014
- Re: [Coq-Club] Problem with tactic intuition auto, Rui Baptista, 09/22/2014
- Re: [Coq-Club] Problem with tactic intuition auto, Richard Dapoigny, 09/22/2014
- Re: [Coq-Club] Problem with tactic intuition auto, Rui Baptista, 09/22/2014
- [Coq-Club] JFLA 2015 : extension de deadline, David Baelde, 09/24/2014
- [Coq-Club] any ways to make this definition working with [simpl] ?, Ömer Sinan Ağacan, 09/25/2014
- Re: [Coq-Club] any ways to make this definition working with [simpl] ?, Gregory Malecha, 09/25/2014
- Re: [Coq-Club] any ways to make this definition working with [simpl] ?, Ömer Sinan Ağacan, 09/25/2014
- Re: [Coq-Club] any ways to make this definition working with [simpl] ?, Gregory Malecha, 09/25/2014
- [Coq-Club] QED+20 - JFR Special Issue: Call for Papers, Josef Urban, 09/25/2014
- [Coq-Club] Partial functions in Coq, Iain Whiteside, 09/25/2014
- Re: [Coq-Club] Partial functions in Coq, Pierre Courtieu, 09/25/2014
- Re: [Coq-Club] Partial functions in Coq, Rui Baptista, 09/26/2014
- [Coq-Club] Suggestion: allow repeat counts in intro patterns, Jonathan, 09/25/2014
- [Coq-Club] CiE 2015: Evolving Computability - Bucharest, 29/6-3/7/2015, CiE Conference Series, 09/25/2014
- [Coq-Club] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3, S B Cooper, 09/25/2014
- [Coq-Club] CPP 2015: second call for papers, Alwen Tiu, 09/26/2014
- [Coq-Club] Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo, Volker Stolz, 09/26/2014
- [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Victor Porton, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Enrico Tassi, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Victor Porton, 09/26/2014
- [Coq-Club] Trouble with coercions, Anders Lundstedt, 09/26/2014
- Re: [Coq-Club] Trouble with coercions, Anders Lundstedt, 09/27/2014
- Re: [Coq-Club] Trouble with coercions, Gabriel Scherer, 09/27/2014
- Re: [Coq-Club] Trouble with coercions, Anders Lundstedt, 09/27/2014
- [Coq-Club] Initial working dir in CoqIDE vs. PG, Jonathan, 09/28/2014
- Re: [Coq-Club] Initial working dir in CoqIDE vs. PG, Jason Gross, 09/29/2014
- Re: [Coq-Club] Initial working dir in CoqIDE vs. PG, Jonathan, 09/29/2014
- Re: [Coq-Club] Initial working dir in CoqIDE vs. PG, Jason Gross, 09/29/2014
- [Coq-Club] Relation between a Coq proof and decision procedure?, Zhoulai.FU@Gmail, 09/29/2014
Archive powered by MHonArc 2.6.18.