List archive

• Re: [Coq-Club] Globally-nameless tactics: Getting rid of the verbose Ltac [match goal with] construct, (continued)
  • Re: [Coq-Club] Globally-nameless tactics: Getting rid of the verbose Ltac [match goal with] construct, Jonathan Leivent, 01/27/2015
• [Coq-Club] Last Mile: The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015), Announce Announcements, 01/24/2015
• [Coq-Club] InfoSec 2015: registration deadline 3 February, GRLMC, 01/24/2015
• Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Abhishek Anand, 01/25/2015
  • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis, 01/25/2015
    • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis, 01/25/2015
      • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis, 01/27/2015
      • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Abhishek Anand, 01/27/2015
      • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis, 01/30/2015
      • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Abhishek Anand, 01/30/2015
      • Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis, 01/31/2015
• [Coq-Club] error installing ssreflect 1.5, Leonardo Rodriguez, 01/25/2015
  • Re: [Coq-Club] error installing ssreflect 1.5, Enrico Tassi, 01/25/2015
    • Re: [Coq-Club] error installing ssreflect 1.5, Leonardo Rodriguez, 01/25/2015
      • Re: [Coq-Club] error installing ssreflect 1.5, Enrico Tassi, 01/25/2015
• [Coq-Club] Help prooving that string_dec is symmetric, Saulo Araujo, 01/25/2015
  • Re: [Coq-Club] Help prooving that string_dec is symmetric, Adam Chlipala, 01/25/2015
    • Re: [Coq-Club] Help prooving that string_dec is symmetric, Saulo Araujo, 01/25/2015
• [Coq-Club] IEEE/ACM UCC 2015: First Call for Papers, Tutorial and Workshop Proposals, Announce Announcements, 01/25/2015
• [Coq-Club] CALL FOR PAPERS (Special Issues will publish in JCR/ISI/SCOPUS indexed Journals), ICCSS, 01/25/2015
• [Coq-Club] Proving that sections of primitive recursive functions are primitive recursive, Seul Baek, 01/26/2015
• [Coq-Club] TAP 2015 (Tests and Proofs): Second Call for Papers, Jasmin Blanchette, 01/26/2015
• [Coq-Club] Coq Standard Library XML output, Wouter Geraedts, 01/26/2015
• [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael, 01/26/2015
  • Re: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Enrico Tassi, 01/28/2015
    • RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael, 01/28/2015
    • RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Georges Gonthier, 01/28/2015
      • RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael, 01/28/2015
• [Coq-Club] Ackermann Award 2015, European Association of Computer Science Logic, 01/27/2015
• [Coq-Club] Post-Doctoral position for the security of binary code, Frédéric Besson, 01/27/2015

Archive powered by MHonArc 2.6.18.