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
2017/04
121 mails
Chronological Thread << < page # 1/5 > >>
- 17/03/17
- 17/03/22
- 17/03/31
- 17/04/01
- [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Valentin Robert
- Re: [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Pierre Courtieu
- Re: [Coq-Club] Cascading tactics, Jonathan Leivent
- Re: [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Valentin Robert
- [Coq-Club] the Racket summer school of semantics and languages, Robby Findler
- Re: [Coq-Club] Cascading tactics, Pierre Courtieu
- [Coq-Club] Turning an evar into a goal?, Jason Gross
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent
- 17/04/03
- Re: [Coq-Club] Turning an evar into a goal?, Jason Gross
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent
- Re: [Coq-Club] Turning an evar into a goal?, Jason Gross
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent
- [Coq-Club] Special Issue of MSCS---Call for Papers, Gopalan Nadathur
- [Coq-Club] École d'été LASER : Île d'Elbe, septembre, software for robotics, Bertrand Meyer
- Re: [Coq-Club] Cascading tactics, Robert Rand
- Re: [Coq-Club] Cascading tactics, Jonathan Leivent
- 17/04/04
- [Coq-Club] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017, Serge Autexier
- [Coq-Club] EPS: Encyclopedia of Proof Systems, Bruno Woltzenlogel Paleo
- [Coq-Club] call for papers - WPTE 2017, William Mansky
- 17/04/05
- 17/04/06
- [Coq-Club] OPLSS: register by April 15th, Amal Ahmed
- [Coq-Club] CFP: TyDE'17 Workshop on Type-Driven Development, Yukiyoshi Kameyama
- [Coq-Club] PxTP 2017: Call for Papers, Bruno Woltzenlogel Paleo
- [Coq-Club] SYNASC 2017 - Second Call for Papers, SYNASC 2017
- [Coq-Club] Autumn school "Proof and Computation", Chuangjie Xu
- [Coq-Club] Apply and "Ill-typed evar instance", Robbert Krebbers
Archive powered by MHonArc 2.6.18.