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/11
126 mails
Chronological Thread << < page # 1/5 > >>
- [Coq-Club] CADE-26 Call for Workshops, Tutorials, System Competition, and Papers, Geoff Sutcliffe, 10/31/2016
- [Coq-Club] Call for Workshop Proposals: ICFP 2017, Lindsey Kuper, 11/01/2016
- [Coq-Club] (CFP) 1st Workshop on Trusted Smart Contracts, Yoichi Hirai, 11/01/2016
- [Coq-Club] A CS1 course inspired by Pierce's SF., Kevin Sullivan, 11/01/2016
- Re: [Coq-Club] A CS1 course inspired by Pierce's SF., Théo Zimmermann, 11/02/2016
- Re: [Coq-Club] A CS1 course inspired by Pierce's SF., Kevin Sullivan, 11/02/2016
- Re: [Coq-Club] A CS1 course inspired by Pierce's SF., Kevin Sullivan, 11/05/2016
- Re: [Coq-Club] A CS1 course inspired by Pierce's SF., Kevin Sullivan, 11/02/2016
- Re: [Coq-Club] A CS1 course inspired by Pierce's SF., Théo Zimmermann, 11/02/2016
- [Coq-Club] TTT 2017: CfP for Type Theory Based Tools @ POPL 2017, Assia Mahboubi, 11/02/2016
- [Coq-Club] some questions on -quick, -schedule-vio2vo, -schedule-vio-checking, Hendrik Tews, 11/02/2016
- [Coq-Club] Strachey 100 conference, Troy Astarte (PGR), 11/02/2016
- Re: [Coq-Club] Coq 8.5pl3, Vadim Zaliva, 11/02/2016
- Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 11/03/2016
- [Coq-Club] Final Call for Papers: Compiler Construction 2017, Sebastian Hack, 11/03/2016
- [Coq-Club] About camlp5 and coq, Kakadu, 11/04/2016
- Re: [Coq-Club] About camlp5 and coq, Emilio Jesús Gallego Arias, 11/04/2016
- Re: [Coq-Club] About camlp5 and coq, Kakadu, 11/08/2016
- Re: [Coq-Club] About camlp5 and coq, Pierre-Marie Pédrot, 11/08/2016
- Re: [Coq-Club] About camlp5 and coq, Emilio Jesús Gallego Arias, 11/08/2016
- Re: [Coq-Club] About camlp5 and coq, Kakadu, 11/08/2016
- Re: [Coq-Club] About camlp5 and coq, Emilio Jesús Gallego Arias, 11/04/2016
- [Coq-Club] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940), Ken Kubota, 11/04/2016
- [Coq-Club] a tactic replacing "Grab Existential Variables" vernac., Burak Ekici, 11/05/2016
- Re: [Coq-Club] a tactic replacing "Grab Existential Variables" vernac., Jonathan Leivent, 11/07/2016
- Re: [Coq-Club] Puzzle: NYC Guys, Fred Smith, 11/05/2016
- <Possible follow-up(s)>
- Re: [Coq-Club] Puzzle: NYC Guys, Alex Shkotin, 11/26/2016
- [Coq-Club] Cumulative inductive types and universe polymorphism, David Leduc, 11/06/2016
- Re: [Coq-Club] Cumulative inductive types and universe polymorphism, Matthieu Sozeau, 11/07/2016
- Re: [Coq-Club] Cumulative inductive types and universe polymorphism, Bas Spitters, 11/07/2016
- Re: [Coq-Club] Cumulative inductive types and universe polymorphism, Matthieu Sozeau, 11/07/2016
- [Coq-Club] First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation, Maurizio Proietti, 11/07/2016
- [Coq-Club] Assistant/Associate/Professor, Tenure-track, Multiple positions at NAU - SICCS, Frederic Loulergue, 11/08/2016
- Re: [Coq-Club] Postdoctoral position in univalent foundations and type theory at the IAS, 1337 777, 11/09/2016
- [Coq-Club] Question an 8.6 changes on typeclasses eauto (multi-goal), Soegtrop, Michael, 11/09/2016
Archive powered by MHonArc 2.6.18.