List archive

• [Coq-Club] FSCD 2018 Second Call for Papers, Sandra Alves, 11/14/2017
• [Coq-Club] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science, Walter Guttmann, 11/15/2017
• [Coq-Club] Mutual inductive types with a predicate, Merlin Göttlinger, 11/15/2017
  • Re: [Coq-Club] Mutual inductive types with a predicate, Matthieu Sozeau, 11/15/2017
    • Re: [Coq-Club] Mutual inductive types with a predicate, Thorsten Altenkirch, 11/15/2017
      • Re: [Coq-Club] Mutual inductive types with a predicate, Bas Spitters, 11/16/2017
• [Coq-Club] Call for Participation for Secure Compilation Workshop (PriSC @ POPL'18), Catalin Hritcu, 11/16/2017
• [Coq-Club] mllib vs mlpack, Kenneth Roe, 11/16/2017
• [Coq-Club] Looking up definitions from inside an ml plugin, Kenneth Roe, 11/16/2017
  • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Talia Ringer, 11/16/2017
    • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Talia Ringer, 11/16/2017
      • Message not available
      • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Kenneth Roe, 11/17/2017
      • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Talia Ringer, 11/17/2017
      • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Kenneth Roe, 11/19/2017
      • Re: [Coq-Club] Looking up definitions from inside an ml plugin, Matthieu Sozeau, 11/19/2017
• [Coq-Club] Strange behaviour of ring_simplify., Ilmārs Cīrulis, 11/17/2017
  • Re: [Coq-Club] Strange behaviour of ring_simplify., Ilmārs Cīrulis, 11/17/2017
    • Re: [Coq-Club] Strange behaviour of ring_simplify., Hugo Herbelin, 11/18/2017
• [Coq-Club] Walking the Coq environment for an ml-plugin, Kenneth Roe, 11/17/2017
  • Re: [Coq-Club] Walking the Coq environment for an ml-plugin, Hugo Herbelin, 11/18/2017
• [Coq-Club] PhD positions available in Birmingham, UK, Benedikt Ahrens, 11/19/2017
• [Coq-Club] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh, Jeremy Avigad, 11/19/2017
• [Coq-Club] Custom record build function, Joachim Breitner, 11/21/2017
  • Re: [Coq-Club] Custom record build function, Guillaume Allais, 11/22/2017
• [Coq-Club] PhD Program in Pure and Applied Logic at Carnegie Mellon, Jeremy Avigad, 11/21/2017
• [Coq-Club] Coq on Android as Telegram Chatbot, Rustam Zhumagambetov, 11/22/2017
  • Re: [Coq-Club] Coq on Android as Telegram Chatbot, Merlin Göttlinger, 11/22/2017
    • Re: [Coq-Club] Coq on Android as Telegram Chatbot, Rustam Zhumagambetov, 11/22/2017
      • Re: [Coq-Club] Coq on Android as Telegram Chatbot, Merlin Göttlinger, 11/22/2017
      • Re: [Coq-Club] Coq on Android as Telegram Chatbot, Rustam Zhumagambetov, 11/22/2017

Archive powered by MHonArc 2.6.18.