List archive

• [Coq-Club] VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation, VerifyThis, 02/25/2019
• [Coq-Club] CfP ThEdu'19, Walther Neuper, 02/25/2019
  • <Possible follow-up(s)>
  • [Coq-Club] CfP ThEdu'19, Walther Neuper, 02/25/2019
• [Coq-Club] A library of undecidable problems for Coq, Yannick Forster, 02/25/2019
• [Coq-Club] ARRAY workshop at PLDI 2019, submissions due 8th April, Jeremy Gibbons, 02/25/2019
• [Coq-Club] iFM 2019: Call for Workshops and Tutorials, Volker Stolz, 02/26/2019
• [Coq-Club] OPAM archive switch to format 2.0, Enrico Tassi, 02/26/2019
• [Coq-Club] Computations with big numbers: Square-and-Multiply (with mod reduce), Benoît Viguier, 02/27/2019
  • Re: [Coq-Club] Computations with big numbers: Square-and-Multiply (with mod reduce), Jean-Marie Madiot, 02/27/2019
• [Coq-Club] change uses inferior type inference, Abhishek Anand, 02/28/2019
  • Re: [Coq-Club] change uses inferior type inference, Abhishek Anand, 02/28/2019
    • RE: [Coq-Club] change uses inferior type inference, John M Grosen, 02/28/2019
      • Re: [Coq-Club] change uses inferior type inference, Jason -Zhong Sheng- Hu, 02/28/2019
• [Coq-Club] Is there a name for this trick in programming with dependent types?, Shengyi Wang, 02/28/2019
  • Re: [Coq-Club] Is there a name for this trick in programming with dependent types?, Lily Chung, 02/28/2019
    • Re: [Coq-Club] Is there a name for this trick in programming with dependent types?, Jason Gross, 02/28/2019

Archive powered by MHonArc 2.6.18.