List archive

• [Coq-Club] Tactic for commutative group?, Cao Qinxiang, 08/07/2019
  • RE: [Coq-Club] Tactic for commutative group?, Soegtrop, Michael, 08/07/2019
    • Re: [Coq-Club] Tactic for commutative group?, Cao Qinxiang, 08/08/2019
• [Coq-Club] TAP 2019 Call for Participation - Porto (Portugal), October 9-11, Chantal Keller, 08/07/2019
• [Coq-Club] CPP 2020: Call for Sponsors, Catalin Hritcu, 08/09/2019
• [Coq-Club] Rewriting in sort Type, Vincent Semeria, 08/09/2019
  • Re: [Coq-Club] Rewriting in sort Type, Christian Doczkal, 08/09/2019
    • Re: [Coq-Club] Rewriting in sort Type, Vincent Semeria, 08/09/2019
      • Re: [Coq-Club] Rewriting in sort Type, Christian Doczkal, 08/09/2019
      • Re: [Coq-Club] Rewriting in sort Type, Vincent Semeria, 08/09/2019
• [Coq-Club] Question about rewrite: feature or bug?, Cao Qinxiang, 08/11/2019
  • Re: [Coq-Club] Question about rewrite: feature or bug?, David Holland, 08/15/2019
    • Re: [Coq-Club] Question about rewrite: feature or bug?, Gregory Malecha, 08/19/2019
• [Coq-Club] shelf, Jeremy Dawson, 08/12/2019
  • Re: [Coq-Club] shelf, Pierre Courtieu, 08/12/2019
• [Coq-Club] PADL 2020 (co-allocated with POPL 2020): first call for papers, Ekaterina Komendantskaya, 08/12/2019
• [Coq-Club] UNSW Sydney Seeking PhD Students, Christine Rizkallah, 08/15/2019
• [Coq-Club] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten, 08/15/2019
• [Coq-Club] CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications, ifm19, 08/16/2019
• [Coq-Club] MPC 2019 - Call for Participation, Graham Hutton, 08/19/2019
• [Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21), Andrei Popescu, 08/19/2019
• [Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21), geoff, 08/19/2019
• [Coq-Club] CoqPL 2020: Call for Presentations, Robbert Krebbers, 08/20/2019
• [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael, 08/20/2019
  • Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery, 08/20/2019
    • Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery, 08/20/2019
      • RE: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael, 08/20/2019
      • RE: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael, 08/21/2019
      • Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery, 08/21/2019
• [Coq-Club] Using lists in Tactic Notations, Jay Kruer, 08/20/2019

Archive powered by MHonArc 2.6.18.