List archive

• [Coq-Club] Commonsense-2017 - Call for Participation, geoff, 09/26/2017
• [Coq-Club] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP, vlad, 09/28/2017
• Re: [Coq-Club] Adding ML tactic plugins, Kenneth Roe, 10/02/2017
  • Re: [Coq-Club] Adding ML tactic plugins, Emilio Jesús Gallego Arias, 10/02/2017
• Re: [Coq-Club] Cannot infer implicit parameter when using notation in inductive definition, Anders Lundstedt, 10/02/2017
• [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 10/02/2017
  • Re: [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Wilayat Khan, 10/04/2017
• [Coq-Club] IJCAR 2018 - Call for Papers, geoff, 10/02/2017
• [Coq-Club] Creating a tactic that changes a conclusion, Kenneth Roe, 10/03/2017
  • Re: [Coq-Club] Creating a tactic that changes a conclusion, Kenneth Roe, 10/03/2017
    • Re: [Coq-Club] Creating a tactic that changes a conclusion, Kenneth Roe, 10/03/2017
      • Re: [Coq-Club] Creating a tactic that changes a conclusion, Matthieu Sozeau, 10/03/2017
• [Coq-Club] Artificial Intelligence and Theorem Proving - Call for Papers, geoff, 10/03/2017
• [Coq-Club] NFM 2018: 2nd Call for Papers (extended deadlines), Jasmin Blanchette, 10/04/2017
• [Coq-Club] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations, Anders Mortberg, 10/04/2017
• [Coq-Club] CoqPL 2018: Call for Presentations, Sergey, Ilya, 10/04/2017
• [Coq-Club] ETAPS 2018 final joint call for papers, Tarmo Uustalu, 10/04/2017
• [Coq-Club] A Hammer for Coq, Łukasz Czajka and Cezary Kaliszyk, 2017 (draft), Gabriel Scherer, 10/05/2017
• [Coq-Club] Setoid rewriting for type families?, Christian Doczkal, 10/06/2017
  • Re: [Coq-Club] Setoid rewriting for type families?, Matthieu Sozeau, 10/09/2017
    • Re: [Coq-Club] Setoid rewriting for type families?, Christian Doczkal, 10/09/2017
      • Re: [Coq-Club] Setoid rewriting for type families?, Matthieu Sozeau, 10/15/2017
• [Coq-Club] Coq 8.7+beta2 is out!, Maxime Dénès, 10/06/2017
• [Coq-Club] Vladimir Voevodsky, Hugo Herbelin, 10/07/2017
• [Coq-Club] Importing (translating) Mizar into Coq, Alex Meyer, 10/08/2017
  • Re: [Coq-Club] Importing (translating) Mizar into Coq, Bas Spitters, 10/08/2017
    • SV: [Coq-Club] Importing (translating) Mizar into Coq, Erik Palmgren, 10/08/2017
• [Coq-Club] Constructing a match expression inside an ml tactic, Kenneth Roe, 10/09/2017
  • Re: [Coq-Club] Constructing a match expression inside an ml tactic, Enrico Tassi, 10/13/2017
• [Coq-Club] JFLA 2018 : second appel à communications, Sylvie Boldo, 10/09/2017

Archive powered by MHonArc 2.6.18.