List archive

• Re: [Coq-Club] how to represent the assumption of a finite set, (continued)
  • Re: [Coq-Club] how to represent the assumption of a finite set, Thomas Strathmann
    • Re: [Coq-Club] how to represent the assumption of a finite set, Gyesik Lee
• [Coq-Club] CfP - Deadline extension: "Proof-Search in Axiomatic Theories and Type Theories 2011", Stephane Lengrand (Work)
• [Coq-Club] Extraction and error reporting, Alexandre Pilkiewicz
  • Re: [Coq-Club] Extraction and error reporting, Francesco Zappa Nardelli
  • Re: [Coq-Club] Extraction and error reporting, AUGER Cedric
    • [Coq-Club] Re: Extraction and error reporting, Alexandre Pilkiewicz
    • Re: [Coq-Club] Extraction and error reporting, AUGER Cedric
• [Coq-Club], guninski
• [Coq-Club] Unicode input on Mac, Jelle Herold
  • Re: [Coq-Club] Unicode input on Mac, Thomas Strathmann
    • Re: [Coq-Club] Unicode input on Mac, Jelle Herold
      • Re: [Coq-Club] Unicode input on Mac, Jelle Herold
• [Coq-Club] An update on ICFP'11 in Tokyo (September 18-24, 2011), Wouter Swierstra
• [Coq-Club] Deadline extension: ICSNC 2011 || October 23-28, 2011 - Barcelona, Spain, ICSNC 2011
• [Coq-Club] Postdoc Position, Marco Gaboardi
• [Coq-Club] using context in Ltac, Julien Tesson
  • Re: [Coq-Club] using context in Ltac, Julien Tesson
• [Coq-Club] "Anomaly" when doing Load self.v, guninski
  • Re: [Coq-Club] "Anomaly" when doing Load self.v, Brandon Moore
  • Re: [Coq-Club] "Anomaly" when doing Load self.v, Hugo Herbelin
• [Coq-Club] Detours in Mathematical Proofs formalized in Coq, MailingList Bruno Woltzenlogel Paleo
  • Re: [Coq-Club] Detours in Mathematical Proofs formalized in Coq, AUGER Cedric
    • Message not available
      • Message not available
      • Re: [Coq-Club] Detours in Mathematical Proofs formalized in Coq, MailingList Bruno Woltzenlogel Paleo
• [Coq-Club] Recursive Class, AUGER Cedric
  • Re: [Coq-Club] Recursive Class, Tom Prince
  • Re: [Coq-Club] Recursive Class, Arnaud Spiwack
• [Coq-Club] Deadline extension: CFP The Coq Workshop 2011, Bas Spitters
• [Coq-Club] LFMTP 2011 Call for Papers (2nd Call), Gopalan Nadathur
• [Coq-Club] Assistance with simple bounded number proof?, frank maltman

Archive powered by MhonArc 2.6.16.