List archive

• [Coq-Club] MAP 2016 : Call for Participation, Assia Mahboubi, 10/02/2015
  • Re: [Coq-Club] MAP 2016 : Call for Participation, Enjoys Math, 10/02/2015
• [Coq-Club] LATA 2016: 3rd call for papers, GRLMC, 10/02/2015
• [Coq-Club] CFP: Special issue of JFP on dependently typed programming, Wouter Swierstra, 10/05/2015
• [Coq-Club] IWIL-11 in Fiji, extended deadline, Geoff Sutcliffe, 10/06/2015
• [Coq-Club] A mechanized inductive and axiom free Coq proof of Higman's and Kruskal's tree theorems, Dominique Larchey-Wendling, 10/08/2015
• [Coq-Club] Help necessary on function of type that is defined by mutual induction, Ilmārs Cīrulis, 10/08/2015
  • Re: [Coq-Club] Help necessary on function of type that is defined by mutual induction, Enjoys Math, 10/08/2015
    • Re: [Coq-Club] Help necessary on function of type that is defined by mutual induction, Ilmārs Cīrulis, 10/08/2015
      • Re: [Coq-Club] Help necessary on function of type that is defined by mutual induction, Matthieu Sozeau, 10/09/2015
• [Coq-Club] ITP 2016: Call for Workshops and Tutorials, Jasmin Blanchette, 10/08/2015
• [Coq-Club] BigDat 2016: early registration deadline 19 October, GRLMC, 10/09/2015
• [Coq-Club] CS Dept, Univ. of Cyprus: Job Vacancy for a Post-Doctoral Researcher, Announce Announcements, 10/10/2015
• [Coq-Club] Research Engineer permanent position opened at Mitsubishi Electric R&D Centre Europe, Rennes, France, David MENTRE, 10/12/2015
• [Coq-Club] making a proof done with assert transparent, Daniel de Rauglaudre, 10/12/2015
  • Re: [Coq-Club] making a proof done with assert transparent, Pierre Courtieu, 10/12/2015
    • Re: [Coq-Club] making a proof done with assert transparent, Daniel de Rauglaudre, 10/12/2015
      • Re: [Coq-Club] making a proof done with assert transparent, Pierre Courtieu, 10/12/2015
      • RE: [Coq-Club] making a proof done with assert transparent, Soegtrop, Michael, 10/12/2015
      • Re: [Coq-Club] making a proof done with assert transparent, Jason Gross, 10/12/2015
      • Re: [Coq-Club] making a proof done with assert transparent, Daniel de Rauglaudre, 10/13/2015
      • Re: [Coq-Club] making a proof done with assert transparent, Pierre-Marie Pédrot, 10/13/2015
      • Re: [Coq-Club] making a proof done with assert transparent, Daniel de Rauglaudre, 10/13/2015
  • Re: [Coq-Club] making a proof done with assert transparent, Ilmārs Cīrulis, 10/12/2015
  • Re: [Coq-Club] making a proof done with assert transparent, Pierre-Marie Pédrot, 10/12/2015
    • Re: [Coq-Club] making a proof done with assert transparent, Daniel de Rauglaudre, 10/12/2015
• [Coq-Club] 2016-2017 at the IAS, Vladimir Voevodsky, 10/13/2015
  • [Coq-Club] 2016-2017 at the IAS, Vladimir Voevodsky, 10/14/2015
• [Coq-Club] coqdoc : escape # in escaped html, Abhishek Anand, 10/15/2015
  • <Possible follow-up(s)>
  • Re: [Coq-Club] coqdoc : escape # in escaped html, Joey Dodds, 10/15/2015

Archive powered by MHonArc 2.6.18.