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/04
211 mails
Pages navigation :
chronological Thread << < page # 1/8 > >>
- [Coq-Club] CfP: Math Information Retrieval Worksohp 14. July 2012, m . kohlhase
- [Coq-Club] CFP: IFCoLog-CIE Student Session, Michael Gabbay
- [Coq-Club] CFP: IFCoLog-CIE Student Session, Michael Gabbay
- [Coq-Club] PAAR-2012, Renate Schmidt
- [Coq-Club] WADT 2012: Deadline Extension, WADT 2012
- [Coq-Club] Coercion from A -> B, Andrej Bauer
- Re: [Coq-Club] Coercion from A -> B,
Bas Spitters
- Re: [Coq-Club] Coercion from A -> B, Arnaud Spiwack
- Re: [Coq-Club] Coercion from A -> B,
Bas Spitters
- [Coq-Club] WING 2012: Final Call for Papers -- Extended Deadline, Gudmund Grov
- [Coq-Club] Call for papers (deadline change): LFMTP'12 (colocated with ICFP'12), Adam Chlipala
- [Coq-Club] Rewriting with "identity type in Type", Andrej Bauer
- [Coq-Club] Re: Rewriting with "identity type in Type",
Andrej Bauer
- Re: [Coq-Club] Re: Rewriting with "identity type in Type", Jean-Francois Monin
- Re: [Coq-Club] Re: Rewriting with "identity type in Type",
Vladimir Voevodsky
- Re: [Coq-Club] Re: Rewriting with "identity type in Type", Jean-Francois Monin
- Re: [Coq-Club] Re: Rewriting with "identity type in Type", Andrej Bauer
- Re: [Coq-Club] Re: Rewriting with "identity type in Type", Tom Prince
- [Coq-Club] Re: Rewriting with "identity type in Type",
Andrej Bauer
- [Coq-Club] ProofGeneral for Coq: issue to setup a specific loadpath, David MENTRE
- [Coq-Club] Problems with "change" tactic, Eric Finster
- Re: [Coq-Club] Problems with "change" tactic, Adam Chlipala
- [Coq-Club] Fwd: KI 2012: Last call for papers, Daniel Sonntag
- [Coq-Club] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals, Amal Ahmed
- [Coq-Club] LOLA 2012: Call for Talk Proposals, Amal Ahmed
- [Coq-Club] Machine-parseable format for Coq terms, Edward Z. Yang
- Re: [Coq-Club] Machine-parseable format for Coq terms,
Stéphane Glondu
- Re: [Coq-Club] Machine-parseable format for Coq terms, Edward Z. Yang
- Re: [Coq-Club] Machine-parseable format for Coq terms,
Stéphane Glondu
Archive powered by MhonArc 2.6.16.