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
2016/12
121 mails
Chronological Thread << < page # 1/5 > >>
- 16/11/26
- [Coq-Club] CfP RAMICS 2017 deadline extension, Peter.Hoefner
- 16/12/02
- [Coq-Club] PhD studentships at FP lab, Nottingham, Thorsten Altenkirch
- [Coq-Club] iFM 2017: final Call for Workshops Proposals, Ingrid Chieh Yu
- [Coq-Club] Unification Bug?, Eddy Westbrook
- Re: [Coq-Club] Unification Bug?, Jonathan Leivent
- Re: [Coq-Club] Unification Bug?, Eddy Westbrook
- Re: [Coq-Club] Unification Bug?, Jonathan Leivent
- Re: [Coq-Club] Unification Bug?, Eddy Westbrook
- Re: [Coq-Club] Unification Bug?, Jonathan Leivent
- 16/12/03
- Re: [Coq-Club] Unification Bug?, Eddy Westbrook
- [Coq-Club] 2nd CfP: JAR Special Issue on Milestones in Interactive Theorem Proving, Jeremy Avigad
- Re: [Coq-Club] Unification Bug?, Jason Gross
- Re: [Coq-Club] Unification Bug?, Matthieu Sozeau
- Re: [Coq-Club] Unification Bug?, Eddy Westbrook
- 16/12/04
- 16/12/05
- [Coq-Club] Software foundation ceval_deterministic, mukesh tiwari
- [Coq-Club] Adding strong induction to the standard library, Tej Chajed
- Re: [Coq-Club] Adding strong induction to the standard library, Robbert Krebbers
- Re: [Coq-Club] Adding strong induction to the standard library, Dominique Larchey-Wendling
- Re: [Coq-Club] Adding strong induction to the standard library, Tej Chajed
- Re: [Coq-Club] Adding strong induction to the standard library, Dominique Larchey-Wendling
- 16/12/06
- Re: [Coq-Club] Unification Bug?, Matthieu Sozeau
- [Coq-Club] Rewriting in arithmetic expressions wrt Z.le, Armaël Guéneau
- Re: [Coq-Club] Rewriting in arithmetic expressions wrt Z.le, Théo Zimmermann
- Re: [Coq-Club] Rewriting in arithmetic expressions wrt Z.le, Armaël Guéneau
- [Coq-Club] 2017 ACL2 Workshop Call for Paper, Warren A. Hunt Jr.
- Re: [Coq-Club] Unification Bug?, Eddy Westbrook
- Re: [Coq-Club] Rewriting in arithmetic expressions wrt Z.le, Théo Zimmermann
- [Coq-Club] Primitive Projections and eta, Ralf Jung
Archive powered by MHonArc 2.6.18.