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
2018/04
151 mails
Chronological Thread << < page # 4/6 > >>
- 18/04/16
- [Coq-Club] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg, Peter Achten
- Re: [Coq-Club] Why this Ltac program fail? (Ltac program use another Ltac program as an argument.), Jason Gross
- Re: [Coq-Club] Why this Ltac program fail? (Ltac program use another Ltac program as an argument.), Jason Gross
- Re: [Coq-Club] Why this Ltac program fail? (Ltac program use another Ltac program as an argument.), Jason -Zhong Sheng- Hu
- [Coq-Club] WiL 2018: Call for talks and papers, *deadline extension to 30 April*, Amy Felty
- 18/04/17
- Re: [Coq-Club] Define a function using tactics without a type, ikdc
- [Coq-Club] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*, Alexis Saurin IRIF
- [Coq-Club] SETTA 2018 deadline approaching, Xinyu Feng
- [Coq-Club] Why must || make progress?, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] Define a function using tactics without a type, Pierre Courtieu
- [Coq-Club] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications, geoff
- [Coq-Club] Trouble building 8.8.0, Perry E. Metzger
- Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann
- Re: [Coq-Club] Trouble building 8.8.0, Perry E. Metzger
- Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann
- [Coq-Club] HLPP 2018 - CFP, Frédéric Dabrowski
- 18/04/18
- [Coq-Club] Installing Coq using Opam, mukesh tiwari
- [Coq-Club] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers), Serge Autexier
- [Coq-Club] Coq 8.8.0 is out!, Maxime Dénès
- 18/04/19
- 18/04/20
- [Coq-Club] FCSL-PCM release 1.0, Anton Trunov
- [Coq-Club] WADT 2018 - 3rd Call for Papers & Leverhulme School, WADT 2018
- 18/04/21
- [Coq-Club] Software Foundations (Chinese translation) Alpha release, Yishuai Li
- [Coq-Club] ml plugin: obtaining the type of an expression, Kenneth Roe
- Re: [Coq-Club] Software Foundations (Chinese translation) Alpha release, Benjamin Pierce
- Re: [Coq-Club] ml plugin: obtaining the type of an expression, Gaëtan Gilbert
- Re: [Coq-Club] Software Foundations (Chinese translation) Alpha release, Laurent Thery
- [Coq-Club] Plugin development in emacs with merlin, Hans Jacob Fehrmann Rojas
Archive powered by MHonArc 2.6.18.