List archive

• [Coq-Club] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten, 11/26/2019
• [Coq-Club] Can you name the biggest number?, roux cody, 12/01/2019
  • Re: [Coq-Club] Can you name the biggest number?, Emilio Jesús Gallego Arias, 12/02/2019
    • Re: [Coq-Club] Can you name the biggest number?, roux cody, 12/02/2019
      • Re: [Coq-Club] Can you name the biggest number?, Emilio Jesús Gallego Arias, 12/02/2019
      • Re: [Coq-Club] Can you name the biggest number?, Thorsten Altenkirch, 12/02/2019
• Re: [Coq-Club] universe inconsistency on import, Vadim Zaliva, 12/01/2019
  • Re: [Coq-Club] universe inconsistency on import, Christian Doczkal, 12/01/2019
    • Re: [Coq-Club] universe inconsistency on import, Vadim Zaliva, 12/01/2019
      • Re: [Coq-Club] universe inconsistency on import, Christian Doczkal, 12/02/2019
      • Re: [Coq-Club] universe inconsistency on import, Gaëtan Gilbert, 12/02/2019
      • Re: [Coq-Club] universe inconsistency on import, Jason Gross, 12/02/2019
      • Re: [Coq-Club] universe inconsistency on import, Vadim Zaliva, 12/02/2019
• [Coq-Club] Call for participation for CPP 2020, Catalin Hritcu, 12/02/2019
• [Coq-Club] Postdoc and internship opportunities in formal methods, Warren, Michael A, 12/03/2019
• [Coq-Club] CSL 2020 - Call for participation - tomorrow is the early registration deadline, EACSL Mail-Account, 12/04/2019
• [Coq-Club] Familiarity with eauto implementation, Gregory Malecha, 12/04/2019
  • Re: [Coq-Club] Familiarity with eauto implementation, Théo Zimmermann, 12/04/2019
    • Re: [Coq-Club] Familiarity with eauto implementation, Gregory Malecha, 12/05/2019
• [Coq-Club] Is there a nominal package for Coq?, Enrico Tassi, 12/06/2019
  • Re: [Coq-Club] Is there a nominal package for Coq?, Danil Annenkov, 12/06/2019
    • Re: [Coq-Club] Is there a nominal package for Coq?, Frédéric Blanqui, 12/06/2019
    • Re: [Coq-Club] Is there a nominal package for Coq?, Tadeusz Litak, 12/10/2019
• [Coq-Club] Coq 8.11+beta1 is out, Pierre-Marie Pédrot, 12/06/2019
• [Coq-Club] Monoid and Group definition missing in setoid_ring directory, mukesh tiwari, 12/10/2019
• [Coq-Club] Soutenance de thèse / PhD Defense – Claude Stolze, INRIA Sophia Antipolis, Salle Euler Bleu, Dec 16, 15h00, Claude Stolze, 12/11/2019
• [Coq-Club] FSCD 2020 - Second Call for Papers, Sandra Alves, 12/12/2019
• [Coq-Club] Implementing Coq on quantum computer, Alex Meyer, 12/12/2019
  • Re: [Coq-Club] Implementing Coq on quantum computer, Adam Chlipala, 12/13/2019
• [Coq-Club] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals, Serge Autexier, 12/13/2019

Archive powered by MHonArc 2.6.18.