List archive

• [Coq-Club] How to construct this simple proof term with tactics?, Soegtrop, Michael, 04/16/2018
  • Re: [Coq-Club] How to construct this simple proof term with tactics?, Jean-Francois Monin, 04/16/2018
    • RE: [Coq-Club] How to construct this simple proof term with tactics?, Soegtrop, Michael, 04/16/2018
  • Re: [Coq-Club] How to construct this simple proof term with tactics?, Laurent Thery, 04/16/2018
  • Re: [Coq-Club] How to construct this simple proof term with tactics?, Gaëtan Gilbert, 04/16/2018
• [Coq-Club] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg, Peter Achten, 04/16/2018
• [Coq-Club] WiL 2018: Call for talks and papers, *deadline extension to 30 April*, Amy Felty, 04/16/2018
• [Coq-Club] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*, Alexis Saurin IRIF, 04/17/2018
• [Coq-Club] SETTA 2018 deadline approaching, Xinyu Feng, 04/17/2018
• [Coq-Club] Why must || make progress?, Jason -Zhong Sheng- Hu, 04/17/2018
• [Coq-Club] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications, geoff, 04/17/2018
• [Coq-Club] Trouble building 8.8.0, Perry E. Metzger, 04/17/2018
  • Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann, 04/17/2018
    • Re: [Coq-Club] Trouble building 8.8.0, Perry E. Metzger, 04/17/2018
      • Re: [Coq-Club] Trouble building 8.8.0, Théo Zimmermann, 04/17/2018
• [Coq-Club] HLPP 2018 - CFP, Frédéric Dabrowski, 04/17/2018
• [Coq-Club] Installing Coq using Opam, mukesh tiwari, 04/18/2018
• [Coq-Club] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers), Serge Autexier, 04/18/2018
• [Coq-Club] Coq 8.8.0 is out!, Maxime Dénès, 04/18/2018
  • Re: [Coq-Club] Coq 8.8.0 is out!, Perry E. Metzger, 04/27/2018
• [Coq-Club] Call for Participation: AFP Summer School in Utrecht, Wouter Swierstra, 04/19/2018
• [Coq-Club] Tutorial on formal semantics of RISC-V instruction set, Adam Chlipala, 04/19/2018
• [Coq-Club] CASC-J9 - the ATP System Competition - Call for Systems, geoff, 04/19/2018
• [Coq-Club] FCSL-PCM release 1.0, Anton Trunov, 04/20/2018
• [Coq-Club] WADT 2018 - 3rd Call for Papers & Leverhulme School, WADT 2018, 04/20/2018
• [Coq-Club] Software Foundations (Chinese translation) Alpha release, Yishuai Li, 04/21/2018
  • Re: [Coq-Club] Software Foundations (Chinese translation) Alpha release, Benjamin Pierce, 04/21/2018
    • Re: [Coq-Club] Software Foundations (Chinese translation) Alpha release, Laurent Thery, 04/21/2018
      • Re: [Coq-Club] Software Foundations (Chinese translation) Alpha release, Joachim Breitner, 04/21/2018
• [Coq-Club] ml plugin: obtaining the type of an expression, Kenneth Roe, 04/21/2018

Archive powered by MHonArc 2.6.18.