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