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/08
241 mails
Chronological Thread << < page # 5/9 > >>
- [Coq-Club] record and typeclass extraction, Kevin Sullivan, 08/08/2014
- Re: [Coq-Club] record and typeclass extraction, Kevin Sullivan, 08/08/2014
- Re:[Coq-Club] problem to rewrite, coqcdp, 08/09/2014
- [Coq-Club] where can I get the four-color theorem source code, coqcdp, 08/09/2014
- Re: [Coq-Club] where can I get the four-color theorem source code, Enrico Tassi, 08/10/2014
- Re: [Coq-Club] where can I get the four-color theorem source code, Gabriel Scherer, 08/10/2014
- Re: [Coq-Club] where can I get the four-color theorem source code, Enrico Tassi, 08/10/2014
- [Coq-Club] Adding an already proved theorem to the context of a section, Christopher Ernest Sally, 08/09/2014
- Re: [Coq-Club] Adding an already proved theorem to the context of a section, Johannes Kloos, 08/10/2014
- [Coq-Club] Proof subtrees under Prop goal: always uninformative?, Jonathan, 08/10/2014
- [Coq-Club] Strictly positive inductive types, elilobo.v, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Luke Maurer, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Maxime Dénès, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Elisabet Lobo, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Maxime Dénès, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Luke Maurer, 08/11/2014
- [Coq-Club] Cancellation Law of a Group, Jinfang Wang, 08/13/2014
- Re: [Coq-Club] Cancellation Law of a Group, Cédric, 08/15/2014
- Re: [Coq-Club] Cancellation Law of a Group, Strub, Pierre-Yves, 08/15/2014
- Re: [Coq-Club] Cancellation Law of a Group, Terrell, Jeffrey, 08/15/2014
- Re: [Coq-Club] Cancellation Law of a Group, Ilmārs Cīrulis, 08/17/2014
- [Coq-Club] Are there any (math) textbooks formalized in Coq?, Hugo Carvalho, 08/13/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Gabriel Scherer, 08/13/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Harley D. Eades III, 08/13/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Hugo Carvalho, 08/14/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Benjamin C. Pierce, 08/14/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Dimitri Hendriks, 08/14/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Daniel Schepler, 08/14/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Hugo Carvalho, 08/14/2014
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Matej Kosik, 08/14/2014
- [Coq-Club] equation (eq) and irrefutable patterns (let .. in ..), Pascal Manoury, 08/14/2014
- Re: [Coq-Club] equation (eq) and irrefutable patterns (let .. in ..), Ilya Sergey, 08/14/2014
- Re: [Coq-Club] Local Canonical Structures instances, Beta Ziliani, 08/14/2014
- [Coq-Club] Second call for papers IFL 2014, planpublicity, 08/14/2014
Archive powered by MHonArc 2.6.18.