List archive

• Re: [Coq-Club] Fixpoint "decreasing on 1st argument" notification, (continued)
  • Re: [Coq-Club] Fixpoint "decreasing on 1st argument" notification, Maxime Dénès, 06/08/2017
  • Re: [Coq-Club] Fixpoint "decreasing on 1st argument" notification, Maxime Dénès, 06/08/2017
• [Coq-Club] unexpected behaviour of the tactic inversion, Nicolas Magaud, 06/08/2017
  • Re: [Coq-Club] unexpected behaviour of the tactic inversion, Gaetan Gilbert, 06/08/2017
    • Re: [Coq-Club] unexpected behaviour of the tactic inversion, Nicolas Magaud, 06/08/2017
• [Coq-Club] Workshop on Termination and Circular Proofs (Chambéry, 19/07), Rodolphe Lepigre, 06/08/2017
• [Coq-Club] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU, Sergey Goncharov, 06/09/2017
• Re: [Coq-Club] [coqdev] deprecation and Coq versions, Matej Košík, 06/11/2017
  • Re: [Coq-Club] [coqdev] deprecation and Coq versions, Théo Zimmermann, 06/12/2017
• [Coq-Club] 1st Call for Papers IFL 2017, jurriaanhage AT gmail.com, 06/12/2017
• [Coq-Club] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages), publicityifl, 06/12/2017
• [Coq-Club] Developments on Graph Theory?, Christian Doczkal, 06/13/2017
  • Re: [Coq-Club] Developments on Graph Theory?, Assia Mahboubi, 06/14/2017
  • Re: [Coq-Club] Developments on Graph Theory?, Frédéric Blanqui, 06/14/2017
  • Message not available
    • Re: [Coq-Club] Developments on Graph Theory?, Christian Doczkal, 06/14/2017
• [Coq-Club] PxTP: Third Call for Papers (New Deadline: 26th of June), Bruno Woltzenlogel Paleo, 06/14/2017
• [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof., Kevin Buzzard, 06/14/2017
  • Re: [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof., Kevin Buzzard, 06/14/2017
    • Re: [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof., Emilio Jesús Gallego Arias, 06/14/2017
      • Re: [Coq-Club] trouble setting up environment to analyse Feit-Thompson proof., Kevin Buzzard, 06/14/2017
• [Coq-Club] CICM 2017 - Call for Participation / Posters / Work in Progress, Serge Autexier, 06/15/2017
• [Coq-Club] Colocated with PLDI: Workshop on Deep Specifications in the Wild, Adam Chlipala, 06/15/2017
• [Coq-Club] ITP / FLOC 2018 workshop application deadline, Jeremy Avigad, 06/15/2017
• [Coq-Club] 4 PhD-student Positions on CPS, RTES and IoT; available at CISTER, Porto, Portugal, DAVID PEREIRA, 06/16/2017
• [Coq-Club] Case-of-case transformation, Yamamoto, Yosuke, 06/16/2017
• [Coq-Club] Final Call for Papers, SYNASC 2017, 06/17/2017
• [Coq-Club] "Core" Coq typeclasses, Benjamin C. Pierce, 06/19/2017
  • Re: [Coq-Club] "Core" Coq typeclasses, Pierre Courtieu, 06/19/2017
    • Re: [Coq-Club] "Core" Coq typeclasses, Abhishek Anand, 06/19/2017
      • Re: [Coq-Club] "Core" Coq typeclasses, Bas Spitters, 06/20/2017

Archive powered by MHonArc 2.6.18.