List archive

• [Coq-Club] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China, S B Cooper
• [Coq-Club] SSNC 2012: 2nd announcement, GRLMC
• [Coq-Club] Fwd: [TYPES/announce] PhD position in the MSP group, Univ. Strathclyde, Conor McBride
• [Coq-Club] Hints and type classes, Gregory Bush
  • Re: [Coq-Club] Hints and type classes, Matthieu Sozeau
• [Coq-Club] SSFLA 2012: final announcement, GRLMC
• [Coq-Club] Problem defining a function using lexicographic combinations and then wf-annotation, Harley D. Eades III
  • Re: [Coq-Club] Problem defining a function using lexicographic combinations and then wf-annotation, Arthur Charguéraud
    • Re: [Coq-Club] Problem defining a function using lexicographic combinations and then wf-annotation, Harley D. Eades III
  • Re: [Coq-Club] Problem defining a function using lexicographic combinations and then wf-annotation, AUGER Cédric
    • Re: [Coq-Club] Problem defining a function using lexicographic combinations and then wf-annotation, Harley D. Eades III
• [Coq-Club] WING 2012: Second Call for Papers -- 3 weeks to go, Gudmund Grov
• [Coq-Club] ltac problem, Nuno Gaspar
  • Re: [Coq-Club] ltac problem, Adam Chlipala
    • Re: [Coq-Club] ltac problem, Nuno Gaspar
  • Re: [Coq-Club] ltac problem, Arthur Charguéraud
    • Re: [Coq-Club] ltac problem, Hugo Herbelin
• [Coq-Club] git mirror of the coq archive on gforge.inria.fr, Pierre Letouzey
  • Re: [Coq-Club] git mirror of the coq archive on gforge.inria.fr, Pierre Letouzey
• [Coq-Club] Reference request for detecting structurally decreasing arguments in fixpoints, Andrej Bauer
  • Re: [Coq-Club] Reference request for detecting structurally decreasing arguments in fixpoints, Stéphane Glondu
• [Coq-Club] decreasing arg. on mutually recursive functions, Nuno Gaspar
  • Re: [Coq-Club] decreasing arg. on mutually recursive functions, Pierre Boutillier
  • Re: [Coq-Club] decreasing arg. on mutually recursive functions, Harley D. Eades III
  • Re: [Coq-Club] decreasing arg. on mutually recursive functions, AUGER Cédric
    • Re: [Coq-Club] decreasing arg. on mutually recursive functions, Nuno Gaspar
• RE: [Coq-Club] Ltac unify expressions, henaien amira
  • Re: [Coq-Club] Ltac unify expressions, Gregory Malecha
    • RE: [Coq-Club] Ltac unify expressions, henaien amira
      • Message not available
      • RE: [Coq-Club] Ltac unify expressions, henaien amira

Archive powered by MhonArc 2.6.16.