List archive

• Re: [Coq-Club] Faking induction-induction in Coq?, (continued)
  • Re: [Coq-Club] Faking induction-induction in Coq?, roux cody, 07/14/2015
  • Re: [Coq-Club] Faking induction-induction in Coq?, Thorsten Altenkirch, 07/14/2015
  • Re: [Coq-Club] Faking induction-induction in Coq?, Eddy Westbrook, 07/14/2015
• [Coq-Club] AI4FM 2015: Final call for short contributions, Andrius Velykis, 07/12/2015
• [Coq-Club] Very basic question of < and <=, yasu, 07/13/2015
  • Re: [Coq-Club] Very basic question of < and <=, roux cody, 07/13/2015
    • Re: [Coq-Club] Very basic question of < and <=, yasu, 07/13/2015
• [Coq-Club] ITP 2015 Call for Participation, Christian Urban, 07/13/2015
• [Coq-Club] Dumb question about dep. pattern matching, Beta Ziliani, 07/15/2015
  • Re: [Coq-Club] Dumb question about dep. pattern matching, James Wilcox, 07/15/2015
    • Re: [Coq-Club] Dumb question about dep. pattern matching, Beta Ziliani, 07/15/2015
  • Re: [Coq-Club] Dumb question about dep. pattern matching, Frédéric Besson, 07/15/2015
    • Re: [Coq-Club] Dumb question about dep. pattern matching, Beta Ziliani, 07/15/2015
      • Re: [Coq-Club] Dumb question about dep. pattern matching, Frédéric Besson, 07/16/2015
• [Coq-Club] AVoCS 2015: Joint Call for Research Idea Papers & Participation, Lin, Yuhui, 07/17/2015
• [Coq-Club] Interested in being paid to hack on Coq full-time at MIT?, Adam Chlipala, 07/17/2015
  • Message not available
    • Re: [Coq-Club] Interested in being paid to hack on Coq full-time at MIT?, 1337 777, 07/17/2015
• [Coq-Club] TPNC 2015: extended submission deadline 27 July, GRLMC - URV, 07/18/2015
• [Coq-Club] ICFP 2015 Call for Participation, David Van Horn, 07/18/2015
• [Coq-Club] An attempt to revive the "Show Tree" command., Matej Kosik, 07/18/2015
• [Coq-Club] PhD Position on Verified Voting at ANU, Dirk Pattinson, 07/20/2015
• [Coq-Club] "The parameters do not bind in patterns; they must be replaced by '_'.", Beta Ziliani, 07/20/2015
  • Re: [Coq-Club] "The parameters do not bind in patterns; they must be replaced by '_'.", Jason Gross, 07/20/2015
    • Re: [Coq-Club] "The parameters do not bind in patterns; they must be replaced by '_'.", Beta Ziliani, 07/20/2015
    • Re: [Coq-Club] "The parameters do not bind in patterns; they must be replaced by '_'.", Jonathan Leivent, 07/20/2015
• [Coq-Club] Running Coq without installing it?, Jason Gross, 07/21/2015
  • Re: [Coq-Club] Running Coq without installing it?, Vincent Siles, 07/21/2015
    • Re: [Coq-Club] Running Coq without installing it?, Amin Timany, 07/21/2015
  • Re: [Coq-Club] Running Coq without installing it?, Matej Grabovský, 07/21/2015
    • Re: [Coq-Club] Running Coq without installing it?, Konstantin Weitz, 07/21/2015

Archive powered by MHonArc 2.6.18.